- Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
Generalized Quantifiers Meet Modal Neighborhood Semantics.Dag Westerståhl & Johan van Benthem - 2021 - In Judit Madarász & Gergely Székely (eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic. Springer. pp. 187-206.details
|
|
On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 284-298.details
|
|
Guarded Negation.Balder ten Care - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 183-184.details
|
|
Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.details
|
|
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.details
|
|
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language.Kai F. Wehmeier - 2021 - Erkenntnis 88 (1):193-213.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.details
|
|
McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.details
|
|
Modal Logic.Johan van Benthem - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 389–409.details
|
|
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.details
|
|
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.details
|
|
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.details
|
|
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.details
|
|
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.details
|
|
On updates of hybrid knowledge bases composed of ontologies and rules.Martin Slota, João Leite & Theresa Swift - 2015 - Artificial Intelligence 229 (C):33-104.details
|
|
Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.details
|
|
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.Gennady Shtakser - 2023 - Journal of Logic, Language and Information 32 (3):511-538.details
|
|
Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.details
|
|
Inexpressiveness of First-Order Fragments.William C. Purdy - 2006 - Australasian Journal of Logic 4 (5):1-12.details
|
|
The two‐variable fragment with counting and equivalence.Ian Pratt-Hartmann - 2015 - Mathematical Logic Quarterly 61 (6):474-515.details
|
|
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.details
|
|
A two-variable fragment of English.Ian Pratt-Hartmann - 2003 - Journal of Logic, Language and Information 12 (1):13-45.details
|
|
2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.details
|
|
Modal and guarded characterisation theorems over finite transition systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.details
|
|
Expressive completeness through logically tractable models.Martin Otto - 2013 - Annals of Pure and Applied Logic 164 (12):1418-1453.details
|
|
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.details
|
|
Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.details
|
|
Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.details
|
|
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.details
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.details
|
|
The semijoin algebra and the guarded fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.details
|
|
-Connections of abstract description systems.Oliver Kutz, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Artificial Intelligence 156 (1):1-73.details
|
|
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.details
|
|
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.details
|
|
Small substructures and decidability issues for first-order logic with two variables.Emanuel Kieroński & Martin Otto - 2012 - Journal of Symbolic Logic 77 (3):729-765.details
|
|
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.details
|
|
Logical separability of labeled data examples under ontologies.Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini & Frank Wolter - 2022 - Artificial Intelligence 313 (C):103785.details
|
|
More Fragments of Language.Ian Pratt-Hartmann & Allan Third - 2006 - Notre Dame Journal of Formal Logic 47 (2):151-177.details
|
|
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.details
|
|
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.details
|
|
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.details
|
|
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.details
|
|
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.details
|
|
Open answer set programming for the semantic web.Stijn Heymans, Davy Van Nieuwenborgh & Dirk Vermeir - 2007 - Journal of Applied Logic 5 (1):144-169.details
|
|
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.details
|
|
Probabilistic Logics and Probabilistic Networks.Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler & Jon Williamson - 2010 - Dordrecht, Netherland: Synthese Library. Edited by Gregory Wheeler, Rolf Haenni, Jan-Willem Romeijn & and Jon Williamson.details
|
|