About the complete axiomatization of dynamic extensions of arrow logic

DOI10.1007/978-3-319-97879-6_12zbMATH Open1544.03024MaRDI QIDQ6599619

Philippe Balbiani

Publication date: 6 September 2024

zbMATH Keywords

dynamic logicsinformation logicsarrow logicsaxiomatization and completeness

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70)

Cites Work

• Dynamic extensions of arrow logic
• Representation of nondeterministic information
• DAL -- a logic for data analysis
• Logic of nondeterministic information
• Information systems theoretical foundations
• On modal logics characterized by models with relative accessibility relations. I
• On modal logics characterized by models with relative accessibility relations. II
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• Kripke semantics for knowledge representation logics
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• A hierarchy of modal logics with relative accessibility relations
• Incomplete information: Structure, inference, complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About the complete axiomatization of dynamic extensions of arrow logic