The following pages link to (Q2736204):
Displayed 4 items.
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic (Q6116775) (← links)