Frame definability, canonicity and cut elimination in common sense modal predicate logics

DOI10.1093/LOGCOM/EXAA067MaRDI QIDQ5019280zbMATH OpenOpenAlexFDO

Authors Takahiro Sawasaki, Katsuhiko Sano

Publication date 3 January 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa067

zbMATH Keywords

common sense modal predicate logicframe definabilityHilbert-style systemmodal predicate logicsequent calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Proof-theoretic results of common sense modal predicate calculi
• scientific article; zbMATH DE number 1989658
• scientific article; zbMATH DE number 2068679
• Some incompletable modal predicate logics
• About cut elimination for logics of common knowledge

Cited in

(2)

• Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
• Proof-theoretic results of common sense modal predicate calculi

This page was built for publication: Frame definability, canonicity and cut elimination in common sense modal predicate logics

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