Pages that link to "Item:Q2758067"

The following pages link to Decidable fragments of first-order modal logics (Q2758067):

Displaying 29 items.

• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
• Decidable fragments of first-order temporal logics (Q1591203) (← links)
• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
• On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
• Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
• Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
• Decidability of order-based modal logics (Q2361346) (← links)
• Mechanising first-order temporal resolution (Q2486579) (← links)
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
• (Q3384090) (← links)
• On contraction and the modal fragment (Q3520225) (← links)
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
• Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205) (← links)
• (Q4447230) (← links)
• (Q5090984) (← links)
• (Q5092390) (← links)
• Modal logics with hard diamond-free fragments (Q5108014) (← links)
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
• Are bundles good deals for first-order modal logic? (Q6116193) (← links)
• Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
• Ordered Fragments of First-Order Logic (Q6168480) (← links)
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)