Abstract is missing.
- Developing Modal Tableaux and Resolution Methods via First-Order ResolutionRenate A. Schmidt. 1-26 [doi]
- Completeness and incompleteness in first-order modal logic: an overviewValentin B. Shehtman. 27-30 [doi]
- Logics with an existential modalityNatasha Alechina, Dmitry Shkatov. 31-48 [doi]
- An expressive two-sorted spatial logic for plane projective geometryPhilippe Balbiani. 49-68 [doi]
- Every world can see a Sahlqvist worldPhilippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman. 69-85 [doi]
- The Tree of Knowledge in Action: Towards a Common PerspectiveJohan van Benthem, Eric Pacuit. 87-106 [doi]
- Deep Sequent Systems for Modal LogicKai Brünnler. 107 [doi]
- The Truth About Algorithmic Problems in Correspondence TheoryAlexander V. Chagrov, Lilia Chagrova. 121-138 [doi]
- ML is not finitely axiomatizable over CheqGaëlle Fontaine. 139-146 [doi]
- Bisimulation Quantified Modal Logics: DecidabilityTim French. 147-166 [doi]
- Terminating modal tableaux with simple completeness proofOlivier Gasquet, Andreas Herzig, Mohamad Sahade. 167-186 [doi]
- Conservative extensions in modal logicSilvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. 187-207 [doi]
- A Kripke-Joyal Semantics for Noncommutative Logic in QuantalesRobert Goldblatt. 209-225 [doi]
- A General Semantics for Quantified Modal LogicRobert Goldblatt, Edwin D. Mares. 227-246 [doi]
- A decidable modal logic that is finitely undecidableIgor Gorbunov. 247-258 [doi]
- Regarding Overlaps in Topologic Bernhard Heinemann. 259-277 [doi]
- Weaker-to-Stronger Translational Embeddings in Modal LogicLloyd Humberstone. 279-297 [doi]
- Dynamic topological logics over spaces with continuous functionsBoris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. 299-318 [doi]
- Topological Modal Logics with Difference ModalityAndrey Kudinov. 319-332 [doi]
- Isomorphism via translationTadeusz Litak. 333-351 [doi]
- Quantification over names and modalitiesEric Martin. 353-372 [doi]
- On the Deterministic Horn Fragment of Test-free PDLLinh Anh Nguyen. 373-392 [doi]
- Complexity of intuitionistic and Visser s basic and formal logics in finitely many variablesMikhail N. Rybakov. 393-411 [doi]
- Downward-directed transitive frames with universal relationsIlya Shapirovsky. 413-428 [doi]
- From topology to metric: modal logic and quantification in metric spacesMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. 429-448 [doi]
- Modality, Paraconsistency and ParacompletenessRicardo Sousa Silvestre. 449-467 [doi]
- The variety of modal FL::ew::-algebras is generated by its finite simple membersHiroki Takamura. 469-479 [doi]
- On Modal Logic, IF Logic, and IF Modal LogicTero Tulenheimo, Merlijn Sevenster. 481-501 [doi]
- Tableaux for multi-agent deliberative-stit logicHeinrich Wansing. 503-520 [doi]