A logic for temporal and open information

MaRDI QIDQ6119652zbMATH OpenFDO

Authors Zhe Lin, Shier Ju

Publication date 22 March 2024

Full work available at URL http://www.collegepublications.co.uk/downloads/LNGAI00003.pdf#chapter.7

zbMATH Keywords

De Morgan multi-modal logicfinite model propertyopen world modelrough settense logic

Mathematics Subject Classification ID

Model theory (03C99) Applications of rough analysis (60L90) Logic in artificial intelligence (68T27)

Recommendations

• A hierarchy of modal logics with relative accessibility relations
• scientific article; zbMATH DE number 4058923
• Decidability of multi-modal logic LTK of linear time and knowledge
• Temporal multi-valued logic with lost worlds in the past
• On the decidability of open logic

This page was built for publication: A logic for temporal and open information

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