Search dblp for Publications

export results for "toc:db/conf/aiml/aiml1998.bht:"

 download as .bib file

@proceedings{DBLP:conf/aiml/1998,
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  publisher    = {{CSLI} Publications},
  year         = {2000},
  url          = {http://www.aiml.net/volumes/volume2/},
  isbn         = {1-57586-271-9},
  timestamp    = {Wed, 17 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/ArecesHJ98,
  author       = {Carlos Areces and
                  Eva Hoogland and
                  Dick de Jongh},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Interpolation, Definability and Fixed Points in Interpretability Logics},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {35--58},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/ArecesHJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Artemov98,
  author       = {Sergei N. Art{\"{e}}mov},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Operations on Proofs that can be Specified by Means of Modal Logic},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {59--72},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Artemov98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Baltag98,
  author       = {Alexandru Baltag},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {{STS:} {A} Structural Theory of Sets},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {1--34},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Baltag98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Bentheim98,
  author       = {Johan van Bentheim},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Modal Logic in Two Gestalts},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {73--100},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Bentheim98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/BezhanishviliG98,
  author       = {Guram Bezhanishvili and
                  Revaz Grigolia},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Locally Tabular Extensions of {MIPC}},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {101--120},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/BezhanishviliG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Brown98,
  author       = {Mark A. Brown},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Conditional and Unconditional Obligation for Agents in Time},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {121--154},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Brown98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Cresswell98,
  author       = {M. J. Cresswell},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {How to Complete Some Modal Predicate Logics},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {155--178},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Cresswell98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Gabbay98,
  author       = {Dov M. Gabbay},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Dznamics of Practical Reasoning: {A} Position Paper},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {179--224},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Gabbay98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/GanzingerHMS98,
  author       = {Harald Ganzinger and
                  Ullrich Hustadt and
                  Christoph Meyer and
                  Renate A. Schmidt},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {A Resolution-Based Decision Procedure for Extensions of {K4}},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {225--246},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Wed, 28 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GanzingerHMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/GorankoV98,
  author       = {Valentin Goranko and
                  Dimiter Vakarelov},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Modal Logic and Universal Algebra {I:} Modal Axiomatizations of Structures},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {247--274},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GorankoV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/GouvelaS98,
  author       = {Paula Gouveia and
                  Cristina Sernadas},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Abductive Reasoning over Temporal Specifications of Objects},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {275--300},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Mon, 13 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GouvelaS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Iemhoff98,
  author       = {Rosalie Iemhoff},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {A Modal Analysis of Some Principles of the Provability Logic of Heyting
                  Artihmetic},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {301--336},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Iemhoff98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Kracht98,
  author       = {Marcus Kracht},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Logic and Syntax-A Personal Perspective},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {337--366},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Kracht98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Kurz98,
  author       = {Alexander Kurz},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {A Co-Variety-Theorem for Modal Logic},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {367--380},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Sat, 29 Oct 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiml/Kurz98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Parikh98,
  author       = {Rohit Parikh},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Propositions, Propositional Attitudes and Belief Revision},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {381--400},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Parikh98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/TanakaO98,
  author       = {Yoshihito Tanaka and
                  Hiroakira Ono},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary
                  Modal Logics},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {401--420},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/TanakaO98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/Venema98,
  author       = {Yde Venema},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Canonical Pseudo-Correspondence},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {421--430},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/Venema98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/WolterZ98,
  author       = {Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {Dynamic Description Logics},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  pages        = {431--446},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/WolterZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/ZakharyaschevSRW98,
  author       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  editor       = {Michael Zakharyaschev and
                  Krister Segerberg and
                  Maarten de Rijke and
                  Heinrich Wansing},
  title        = {The Origins of Modern Modal Logic},
  booktitle    = {Advances in Modal Logic 2, papers from the second workshop on "Advances
                  in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
  publisher    = {{CSLI} Publications},
  year         = {1998},
  timestamp    = {Fri, 10 Mar 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/ZakharyaschevSRW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.