Results 161 to 170 of about 180 (170)

Finite satisfiability for guarded fixpoint logic

Information Processing Letters, 2012
Mikolaj Bojanczyk, Vince Barany
exaly  

Back and forth between guarded and modal logics

ACM Transactions on Computational Logic, 2002
Erich Gradel
exaly  

Labelled Deduction for the Guarded Fragment

2000
Maarten Marx, Szabolcs Mikulás, Stefan Schlobach   +2 more
openaire   +1 more source

Probabilistic Role Models and the Guarded Fragment

2004
We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic.
openaire   +1 more source

Interpolation in the guarded fragment

Studia Logica, 2002
Hoogland, E., Marx, M.J.
openaire   +1 more source

Highly acyclic groups, hypergraph covers, and the guarded fragment

Journal of the ACM, 2012
exaly  

Querying the Guarded Fragment

2010
Georg Gottlob, Vince Barany
exaly  

Revisiting the Fluted and Forward Fragments with Guards

openaire   +1 more source

A superposition decision procedure for the guarded fragment with equality

exaly  

The two-variable guarded fragment with transitive relations

exaly