Craig interpolation for awareness logics

DOI10.1007/978-3-031-89610-1_17MaRDI QIDQ6889845zbMATH OpenFDO

Authors Kosuke Udatsu, Katsuhiko Sano

Publication date 4 December 2025

Full work available at URL https://doi.org/10.1007/978-3-031-89610-1_17

zbMATH Keywords

awarenessCraig interpolationlogic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites work

• A generalization of Beall's off-topic interpretation
• A semantical analysis of cut-free calculi for modal logics
• Adequacy results for some Priorean modal propositional logics
• Alternative semantics for unawareness
• Analytic cut and interpolation for bi-intuitionistic logic
• Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic
• Becoming aware of propositional variables
• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 3145226 (Why is no real title available?)
• scientific article; zbMATH DE number 149884 (Why is no real title available?)
• scientific article; zbMATH DE number 1303729 (Why is no real title available?)
• scientific article; zbMATH DE number 1989647 (Why is no real title available?)
• scientific article; zbMATH DE number 2024614 (Why is no real title available?)
• scientific article; zbMATH DE number 1361537 (Why is no real title available?)
• Off-topic: a new interpretation of weak Kleene logic
• Proof methods for modal and intuitionistic logics
• Reasoning about knowledge of unawareness

This page was built for publication: Craig interpolation for awareness logics

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