default search action
Advances in Modal Logic 2006: Noosa, Queensland, Australia
- Guido Governatori, Ian M. Hodkinson, Yde Venema:
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006. College Publications 2006, ISBN 1-904987-20-6 - 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 FLew-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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: