Pages that link to "Item:Q2001365"

The following pages link to The monodic fragment of propositional term modal logic (Q2001365):

Displaying 16 items.

• On non-self-referential fragments of modal logics (Q508827) (← links)
• Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
• Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
• Reasoning in large games with unboundedly many players (Q2148813) (← links)
• Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
• Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
• Term-modal logic and quantifier-free dynamic assignment logic (Q2736204) (← links)
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
• A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)
• (Q4580320) (← links)
• (Q5015271) (← 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)