default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 1998: Uppsala, Sweden
- Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing:
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998. CSLI Publications 2000, ISBN 1-57586-271-9 - Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing:
The Origins of Modern Modal Logic. Advances in Modal Logic 1998 - Alexandru Baltag:
STS: A Structural Theory of Sets. Advances in Modal Logic 1998: 1-34 - Carlos Areces, Eva Hoogland, Dick de Jongh:
Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic 1998: 35-58 - Sergei N. Artëmov:
Operations on Proofs that can be Specified by Means of Modal Logic. Advances in Modal Logic 1998: 59-72 - Johan van Bentheim:
Modal Logic in Two Gestalts. Advances in Modal Logic 1998: 73-100 - Guram Bezhanishvili, Revaz Grigolia:
Locally Tabular Extensions of MIPC. Advances in Modal Logic 1998: 101-120 - Mark A. Brown:
Conditional and Unconditional Obligation for Agents in Time. Advances in Modal Logic 1998: 121-154 - M. J. Cresswell:
How to Complete Some Modal Predicate Logics. Advances in Modal Logic 1998: 155-178 - Dov M. Gabbay:
Dznamics of Practical Reasoning: A Position Paper. Advances in Modal Logic 1998: 179-224 - Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt:
A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246 - Valentin Goranko, Dimiter Vakarelov:
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic 1998: 247-274 - Paula Gouveia, Cristina Sernadas:
Abductive Reasoning over Temporal Specifications of Objects. Advances in Modal Logic 1998: 275-300 - Rosalie Iemhoff:
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Advances in Modal Logic 1998: 301-336 - Marcus Kracht:
Logic and Syntax-A Personal Perspective. Advances in Modal Logic 1998: 337-366 - Alexander Kurz:
A Co-Variety-Theorem for Modal Logic. Advances in Modal Logic 1998: 367-380 - Rohit Parikh:
Propositions, Propositional Attitudes and Belief Revision. Advances in Modal Logic 1998: 381-400 - Yoshihito Tanaka, Hiroakira Ono:
Rasiowa-Sikorski Lemma, Kripke Completeness of Predicte and Infinitary Modal Logics. Advances in Modal Logic 1998: 401-420 - Yde Venema:
Canonical Pseudo-Correspondence. Advances in Modal Logic 1998: 421-430 - Frank Wolter, Michael Zakharyaschev:
Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
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.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
