default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdvances in Modal Logic 2004: Manchester, UK
- Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004. King's College Publications 2005, ISBN 1-904987-22-2 - Félix Bou:
Complexity of Strict Implication. 1-16 - Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. 17-51 - Tim French, Ron van der Meyden, Mark Reynolds:
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. 53-72 - Bernhard Heinemann:
A Two sorted Hybrid Logic Including Guarded Jumps. 73-92 - Andreas Herzig, Ivan José Varzinczak:
On the Modularity of Theories. 93-109 - Tapani Hyttinen, Tero Tulenheimo:
Decidability of IF Modal Logic of Perfect Recall. 111-131 - Martin Lange:
A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. 133-147 - Tadeusz Litak:
On Notions of Completeness Weaker than Kripke Completeness. 149-169 - Yutaka Miyazaki:
Normal Modal Logics Containing KTB with some Finiteness Conditions. 171-190 - Thomas Müller:
On the Formal Structure of Continuous Action. 191-209 - Yuko Murakami:
Utilitarian Deontic Logic. 211-230 - Cláudia Nalon, Clare Dixon, Michael Fisher:
Resolution for Synchrony and No Learning. 231-248 - Linh Anh Nguyen:
On the Complexity of Fragments of Modal Logics. 249-268 - Ilya Shapirovsky:
On PSPACE-decidability in Transitive Modal Logic. 269-287 - Valentin B. Shehtman:
Filtration via Bisimulation. 289-308 - Charles Stewart, Phiniki Stouppa:
A Systematic Proof Theory for Several Modal Logics. 309-333 - Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi:
Public Announcements and Belief Expansion. 335-346 - Arild Waaler:
Consistency Proofs for Systems of Multi?agent Only Knowing. 347-366 - Heinrich Wansing:
Connexive Modal Logic. 367-383
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 2025-01-27 20:33 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:
