Term-sequence-modal logics

DOI10.1007/978-3-662-60292-8_18MaRDI QIDQ2291242zbMATH OpenOpenAlexFDO

Authors Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada

Publication date 30 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_18

zbMATH Keywords

Hilbert systemquantified modal logicsequent calculusterm-modal logicterm-sequence-modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1612553
• Term-modal logics
• Classical term-modal logics
• Quantified modal logics: one approach to rule (almost) them all!
• The monodic fragment of propositional term modal logic

Cited in

(7)

• Dynamic term-modal logics for first-order epistemic planning
• Classical term-modal logics
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
• Semantic incompleteness of Liberman et al. (2020)'s Hilbert-style system for term-modal logic K with equality and non-rigid terms

This page was built for publication: Term-sequence-modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2291242)