Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic

DOI10.1007/978-3-031-25894-7_6zbMath1530.03085OpenAlexW4321608863MaRDI QIDQ6116775

Tomoyuki Yamada, Katsuhiko Sano

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-25894-7_6

zbMATH Keywords

speech actrelative completenesscommandterm-sequence-modal logicdynamic modal predicate logicpromise

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Cites Work

• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Dynamic epistemic logic
• Recapturing dynamic logic of relation changers via bounded morphisms
• Term-sequence-modal logics
• Dynamic logic of preference upgrade
• Frame definability, canonicity and cut elimination in common sense modal predicate logics
• Term-modal logics

This page was built for publication: Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic