Advances in Modal Logic, Volume 10

Rajeev Goré,
Barteld Kooi,
and Agi Kurucz, editors.

College Publications, 2014.

ISBN-13: 978-1-84890-151-3

Volume 10 contains invited and contributed papers from the tenth conference on "Advances in Modal logic," held in Groningen, the Netherlands, in August 2014.

Volume 10 is available online:

Table of Contents

• Preface, viii-x
• Faried Abu Zaid, Erich Grädel and Stephan Jaax, Bisimulation Safe Fixed Point Logic, 1-15
• Philippe Balbiani and Tinko Tinchev, Definability and Computability for PRSPDL, 16-33
• Walid Belkhir, Gisela Rossi and Michael Rusinowitch, A Parametrized Propositional Dynamic Logic with Application to Service Synthesis, 34-53
• Nick Bezhanishvili and Silvio Ghilardi, Multiple-conclusion Rules, Hypersequents Syntax and Step Frames, 54-73
• Facundo Carreiro and Yde Venema, PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization, 74-93
• Ivano Ciardelli, Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic, 94-113
• Michael De and Hitoshi Omori, More on Empirical Negation, 114-133
• Stéphane Demri and Morgan Deters, The Effects of Modalities in Separation Logics (Extended Abstract), 134-138
• Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek and Petar Iliev, Some Exponential Lower Bounds on Formula-size in Modal Logic, 139-157
• Jan van Eijck and François Schwarzentruber, Epistemic Probability Logic Simplified, 158-177
• Jie Fan, Yanjing Wang and Hans van Ditmarsch, Almost Necessary, 178-196
• Tim French, James Hales and Edwin Tay, A Composable Language for Action Models, 197-216
• Sam J. van Gool, Free Algebras for Gödel-Löb Provability Logic, 217-233
• Valentin Goranko and Steen Vester, Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics, 234-253
• Daniel Gorín and Lutz Schröder, Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics, 254-273
• Lauri Hella and Antti Kuusisto, One-dimensional Fragment of First-order Logic, 274-293
• Lauri Hella, Kerkko Luosto, Katsuhiko Sano and Jonni Virtema, The Expressive Power of Modal Dependence Logic, 294-312
• Wesley H. Holliday, Partiality and Adjointness in Modal Logic, 313-332
• Stanislav Kikot, Ilya Shapirovsky and Evgeny Zolin, Filtration Safe Operations on Frames, 333-352
• Juha Kontinen, Julian-Steffen Müller, Henning Schnoor and Heribert Vollmer, Modal Independence Logic, 353-372
• Andrey Kudinov, Neighbourhood Frame Product KxK, 373-386
• Sonia Marin and Lutz Straßburger, Label-free Modular Systems for Classical and Intuitionistic Modal Logics, 387-406
• Michel Marti and George Metcalfe, A Hennessy-Milner Property for Many-Valued Modal Logics, 407-420
• Sara Negri, Recent Advances in Proof Systems for Modal Logic, 421-422
• Adam Přenosil, A Duality for Distributive Unimodal Logic, 423-438
• Mark Reynolds, A Tableau for Temporal Logic over the Reals, 439-458
• Umberto Rivieccio, Bilattice Public Announcement Logic, 459-477
• Renate A. Schmidt, John G. Stell and David Rydeheard, Axiomatic and Tableau-Based Reasoning for Kt(H,R), 478-497
• Valentin Shehtman, Canonical Filtrations and Local Tabularity, 498-512
• Che-Ping Su, Paraconsistent Justification Logic: a Starting Point, 513-532
• Tomoyuki Suzuki, On Polarity Frames: Applications to Substructural and Lattice-based Logics, 533-552
• Sara L. Uckelman Reasoning About Obligations in Obligationes: A Formal Approach, 553-568
• Yanjing Wang and Jie Fan, Conditionally Knowing What, 569-587