Advances in Modal Logic 2004: Manchester, UK
Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.): Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in 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
- 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
- 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
- Hans P. 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team