- Betweenness Algebras.Ivo Düntsch, Rafał Gruszczyński & Paula Menchón - forthcoming - Journal of Symbolic Logic.details
|
|
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.details
|
|
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.details
|
|
Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.details
|
|
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.details
|
|
Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.details
|
|
Mereological Bimodal Logics.Li Dazhu & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (4):823-858.details
|
|
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.details
|
|
PDL with negation of atomic programs.Carsten Lutz & Dirk Walther - 2005 - Journal of Applied Non-Classical Logics 15 (2):189-213.details
|
|
Unifying default reasoning and belief revision in a modal framework.Craig Boutilier - 1994 - Artificial Intelligence 68 (1):33-85.details
|
|
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.details
|
|
An efficient relational deductive system for propositional non-classical logics.Andrea Formisano & Marianna Nicolosi-Asmundo - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):367-408.details
|
|
“That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.details
|
|
(1 other version)Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.details
|
|
(2 other versions)European Summer Meeting of the Association for Symbolic Logic, , Granada, Spain, 1987.H. -D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodriguez Artalejo - 1989 - Journal of Symbolic Logic 54 (2):647-672.details
|
|
Fuzzy modal-like approximation operators based on double residuated lattices.Anna Maria Radzikowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):485-506.details
|
|
A two-variable fragment of English.Ian Pratt-Hartmann - 2003 - Journal of Logic, Language and Information 12 (1):13-45.details
|
|
Modal Logics That Need Very Large Frames.Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (2):141-173.details
|
|
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.details
|
|
Mixed algebras and their logics.Ivo Düntsch, Ewa Orłowska & Tinko Tinchev - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):304-320.details
|
|