A logic for temporal and open information

MaRDI QIDQ6119652FDOQ6119652

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

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

zbMATH Keywords

tense logicrough setfinite model propertyDe Morgan multi-modal logicopen world model

Mathematics Subject Classification ID

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

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)