Pages that link to "Item:Q1604793"

The following pages link to Loosely guarded fragment of first-order logic has the finite model property (Q1604793):

Displaying 17 items.

• Deciding expressive description logics in the framework of resolution (Q924723) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
• Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
• The finite graph problem for two-way alternating automata. (Q1874281) (← links)
• The guarded fragment with transitive guards (Q1877098) (← links)
• Extending to a model structure is not a first-order property (Q1998990) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
• Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
• A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
• Combining Theories: The Ackerman and Guarded Fragments (Q3172881) (← links)
• Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
• Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305) (← links)
• EPPA for two-graphs and antipodal metric spaces (Q5221334) (← links)
• Guarded negation (Q5890544) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
• A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)