The following pages link to Term-sequence-modal logics (Q2291242):
Displayed 5 items.
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← 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)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic (Q6116775) (← links)