Advances in Modal Logic, Volume 8

Lev Beklemishev,
Valentin Goranko
and Valentin Shehtman, editors.

College Publications, 2010.

ISBN-13: 978-1-84890-013-4

Volume 8 contains invited and contributed papers from the eighth conference on "Advances in Modal logic," held at the Steklov Mathematical Institute in Moscow, Russia, from 24-27 August 2010.

Volume 8 is available online:

Table of Contents

• Preface, vii-viii
• Gerard Allwein and William L. Harrison, Partially-ordered Modalities, 1-21
• Marta Bílková, Ondrej Majer, Michal Peliš and Greg Restall, Relevant Agents, 22-38
• Kai Brünnler, Remo Goetschi and Roman Kuznets, A Syntactic Realization Theorem for Justification Logics, 39-58
• Serenella Cerrito and Marta Cialdea Mayer, Nominal Substitution at Work with the Global and Converse Modalities, 59-76
• Hans van Ditmarsch, Tim French and Sophie Pinchinat, Future Event Logic - Axioms and Complexity, 77-99
• David Fernández-Duque, Absolute Completeness of S4_u for Its Measure-Theoretic Semantics, 100-119
• Santiago Figueira and Daniel Gorín, On the Size of Shortest Modal Descriptions, 120-139
• Amélie Gheerbrant, Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time μ-calculus, 140-155
• Rajeev Goré, Linda Postniece and Alwen Tiu, Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic, 156-177
• Wesley H. Holliday and Thomas F. Icard, III, Moorean Phenomena in Epistemic Logic, 178-199
• Ryo Kashima, Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation, 200-217
• Stanislav Kikot, Semantic Characterization of Kracht Formulas, 218-234
• Clemens Kupke and Dirk Pattinson, On Modal Logics of Linear Inequalities, 235-255
• Agi Kurucz, On the Complexity of Modal Axiomatisations over Many-dimensional Structures, 256-270
• Agi Kurucz, Frank Wolter and Michael Zakharyaschev, Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL, 271-291
• Alexander Kurz and Yde Venema, Coalgebraic Lindströom Theorems, 292-309
• Mati Pentus, Complexity of the Lambek Calculus and Its Fragments, 310-329
• Katsuhiko Sano and Minghui Ma, Goldblatt-Thomason-style Theorems for Graded Modal Language, 330-349
• Luigi Santocanale and Yde Venema, Uniform Interpolation for Monotone Modal Logic, 350-370
• Ilya Shapirovsky, Simulation of Two Dimensions in Unimodal Logics, 371-391
• Dmitrij Skvortsov, A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic, 392-410
• Tomoyuki Suzuki, Bi-approximation Semantics for Substructural Logic at Work, 411-433
• Tinko Tinchev and Dimiter Vakarelov, Logics of Space with Connectedness Predicates: Complete Axiomatizations, 434-453
• Sara L. Uckelman and Spencer Johnston, A Simple Semantics for Aristotelian Apodeictic Syllogistics, 454-469
• Eric Ufferman, Pedro Arturo Góngora and Francisco Hernández-Quiroz, A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes, 470-482
• Heinrich Wansing, Proofs, Disproofs, and Their Duals, 483-505