Pages that link to "Item:Q2736204"
From MaRDI portal
The following pages link to Term-modal logic and quantifier-free dynamic assignment logic (Q2736204):
Displaying 6 items.
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- (Q4731169) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Reasoning with rules and rights: term-modal deontic logic (Q6618557) (← links)
