Term-modal logic and quantifier-free dynamic assignment logic
dynamic logicinformation updatingpossible worlds semanticsproof systemsreasoning about multi-agent systemsterm-modal logics
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)
- The monodic fragment of propositional term modal logic
- Quantifier-free epistemic term-modal logic with assignment operator
- Dynamic term-modal logics for first-order epistemic planning
- scientific article; zbMATH DE number 1612553 (Why is no real title available?)
- Classical term-modal logics
- scientific article; zbMATH DE number 4116498 (Why is no real title available?)
- Term-modal logics
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
- Reasoning with rules and rights: term-modal deontic logic
- Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms
- Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style systems for term-modal logics with equality and non-rigid terms
This page was built for publication: Term-modal logic and quantifier-free dynamic assignment logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736204)
