- A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.details
|
|
Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.details
|
|
(1 other version)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
|
|
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.details
|
|
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.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
|
|
Bisimulation and Coverings for Graphs and Hypergraphs.Martin Otto - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 5--16.details
|
|
(1 other version)Finite Satifiability of Modal Logic over Horn Definable Classes of Frames.Jakub Michaliszyn & Emanuel Kieroński - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 464-482.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.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
|
|
(1 other version)Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.details
|
|
(1 other version)Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Gennady Shtakser - 2019 - Studia Logica 107 (4):753-780.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
|
|
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.Gennady Shtakser - 2023 - Logica Universalis 17 (3):297-330.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
|
|
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.details
|
|
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.details
|
|
(1 other version)The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.details
|
|
The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.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
|
|
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
|
|
Deduction chains and dc-like decision procedure for guarded logic.Andrei Kouznetsov - 2004 - Bulletin of the Section of Logic 33 (1):53-65.details
|
|
(1 other version)The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2):407-442.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
Complexity of hybrid logics over transitive frames.Martin Mundhenk, Thomas Schneider, Thomas Schwentick & Volker Weber - 2010 - Journal of Applied Logic 8 (4):422-440.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
|
|
The two‐variable fragment with counting and equivalence.Ian Pratt-Hartmann - 2015 - Mathematical Logic Quarterly 61 (6):474-515.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
|
|