Pages that link to "Item:Q2001365"
From MaRDI portal
The following pages link to The monodic fragment of propositional term modal logic (Q2001365):
Displayed 8 items.
- 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)
- (Q5092390) (← 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)