|
|
Guarded negation
– Vince Bárány, Balder Ten Cate, Luc Segoufin
|
|
1
|
5 MODEL THEORY OF MODAL LOGIC
– Valentin Goranko, Martin Otto
|
|
13
|
MODEL THEORY OF MODAL LOGIC
– Valentin Goranko, Martin Otto
|
|
11
|
Modal Logic: A Semantic Perspective
– Patrick Blackburn, Johan van Benthem
- 1988
|
|
8
|
Local Variations on a Loose Theme: Modal Logic and Decidability
– Maarten Marx, Yde Venema
|
|
20
|
Back and Forth between Guarded and Modal Logics
– Erich Grädel, Colin Hirsch, Martin Otto
- 2000
|
|
7
|
Grounding for model expansion in k-guarded formulas with inductive definitions
– Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
- 2007
|
|
1
|
The Complexity of Regularity in Grammar Logics
– Stéphane Demri
|
|
1
|
The semijoin algebra and the guarded fragment
– Dirk Leinders, Limburgs Universitair Centrum, Maarten Marx
|
|
|
Logical foundations of XML and XQuery
– Maarten Marx
|
|
18
|
Tree-Based Heuristics in Modal Theorem Proving
– Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten De Rijke
- 2000
|
|
3
|
Deciding the guarded fragments by resolution
– Hans De Nivelle, Maarten De Rijke
- 2003
|
|
4
|
Complexity of expanding a finite structure and related tasks
– Antonina Kolokolova, Yongmei Liu, David Mitchell, Eugenia Ternovska
- 2006
|
|
|
Model Expansion and the Expressiveness of FO(ID) and Other Logics ∗
– Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
|
|
10
|
On Preservation Theorems for Two-Variable Logic
– Erich Grädel, Eric Rosen
- 1999
|
|
4
|
Oracle Circuits for Branching-Time Model Checking
– Ph. Schnoebelen
- 2003
|
|
18
|
Datalog LITE: A deductive query language with linear time model checking
– Georg Gottlob, Erich Grädel, Helmut Veith
|
|
5
|
Algorithmic Meta-Theorems
– Stephan Kreutzer
- 2008
|
|
9
|
Linear Time Datalog and Branching Time Logic
– Georg Gottlob, Erich Grädel, Helmut Veith
|
