Carlos Areces, Robert Goldblatt (Eds.):
Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008.
College Publications 2008, ISBN 978-1-904987-68-0
- Gerard Allwein, William L. Harrison:
Partially-ordered Modalities.
1-21
- Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall:
Relevant Agents.
22-38
- Kai Brünnler, Remo Goetschi, Roman Kuznets:
A Syntactic Realization Theorem for Justification Logics.
39-58
- Serenella Cerrito, Marta Cialdea Mayer:
Nominal Substitution at Work with the Global and Converse Modalities.
59-76
- Hans P. van Ditmarsch, Tim French, Sophie Pinchinat:
Future Event Logic - Axioms and Complexity.
77-99
- David Fernández Duque:
Absolute Completeness of S4u for Its Measure-Theoretic Semantics.
100-119
- Santiago Figueira, 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 mu-calculus.
140-155
- Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.
156-177
- Wesley H. Holliday, 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, 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, Michael Zakharyaschev:
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.
271-291
- Alexander Kurz, Yde Venema:
Coalgebraic Lindströom Theorems.
292-309
- Mati Pentus:
Complexity of the Lambek Calculus and Its Fragments.
310-329
- Katsuhiko Sano, Minghui Ma:
Goldblatt-Thomason-style Theorems for Graded Modal Language.
330-349
- Luigi Santocanale, Yde Venema:
Uniform Interpolation for Monotone Modal Logic.
350-370
- Ilya Shapirovsky:
Simulation of Two Dimensions in Unimodal Logics.
371-391
- Dmitrij P. 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, Dimiter Vakarelov:
Logics of Space with Connectedness Predicates: Complete Axiomatizations.
434-453
- Sara L. Uckelman, Spencer Johnston:
A Simple Semantics for Aristotelian Apodeictic Syllogistics.
454-469
- Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz:
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.
470-482
- Heinrich Wansing:
Proofs, Disproofs, and Their Duals.
483-505
Last update Tue May 22 03:55:53 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page