![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/aiml/aiml1998.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.