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

zbMATH Keywords

logicCraig interpolationawareness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)