Term-sequence-modal logics

DOI10.1007/978-3-662-60292-8_18OpenAlexW2980018868MaRDI QIDQ2291242

Katsuhiko Sano, Takahiro Sawasaki, 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 systemsequent calculusquantified modal logicterm-modal logicterm-sequence-modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

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 ⋮ Dynamic term-modal logics for first-order epistemic planning

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