Advances in Modal Logic 2006: Noosa, Queensland, Australia

• Renate A. Schmidt:
  Developing Modal Tableaux and Resolution Methods via First-Order Resolution. 1-26
  
• Valentin B. Shehtman:
  Completeness and incompleteness in first-order modal logic: an overview. 27-30
  
• Natasha Alechina, Dmitry Shkatov:
  Logics with an existential modality. 31-48
  
• Philippe Balbiani:
  An expressive two-sorted spatial logic for plane projective geometry. 49-68
  
• Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman:
  Every world can see a Sahlqvist world. 69-85
  
• Johan van Benthem, Eric Pacuit:
  The Tree of Knowledge in Action: Towards a Common Perspective. 87-106
  
• Kai Brünnler:
  Deep Sequent Systems for Modal Logic. 107-
  
• Alexander V. Chagrov, Lilia Chagrova:
  The Truth About Algorithmic Problems in Correspondence Theory. 121-138
  
• Gaëlle Fontaine:
  ML is not finitely axiomatizable over Cheq. 139-146
  
• Tim French:
  Bisimulation Quantified Modal Logics: Decidability. 147-166
  
• Olivier Gasquet, Andreas Herzig, Mohamad Sahade:
  Terminating modal tableaux with simple completeness proof. 167-186
  
• Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
  Conservative extensions in modal logic. 187-207
  
• Robert Goldblatt:
  A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. 209-225
  
• Robert Goldblatt, Edwin D. Mares:
  A General Semantics for Quantified Modal Logic. 227-246
  
• Igor Gorbunov:
  A decidable modal logic that is finitely undecidable. 247-258
  
• Bernhard Heinemann:
  Regarding Overlaps in 'Topologic'. 259-277
  
• Lloyd Humberstone:
  Weaker-to-Stronger Translational Embeddings in Modal Logic. 279-297
  
• Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
  Dynamic topological logics over spaces with continuous functions. 299-318
  
• Andrey Kudinov:
  Topological Modal Logics with Difference Modality. 319-332
  
• Tadeusz Litak:
  Isomorphism via translation. 333-351
  
• Eric Martin:
  Quantification over names and modalities. 353-372
  
• Linh Anh Nguyen:
  On the Deterministic Horn Fragment of Test-free PDL. 373-392
  
• Mikhail N. Rybakov:
  Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. 393-411
  
• Ilya Shapirovsky:
  Downward-directed transitive frames with universal relations. 413-428
  
• Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev:
  From topology to metric: modal logic and quantification in metric spaces. 429-448
  
• Ricardo Sousa Silvestre:
  Modality, Paraconsistency and Paracompleteness. 449-467
  
• Hiroki Takamura:
  The variety of modal FL_ew-algebras is generated by its finite simple members. 469-479
  
• Tero Tulenheimo, Merlijn Sevenster:
  On Modal Logic, IF Logic, and IF Modal Logic. 481-501
  
• Heinrich Wansing:
  Tableaux for multi-agent deliberative-stit logic. 503-520
  

Last update Thu May 23 16:21:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page