Temporal aspects of the modal logic of subset spaces

DOI10.1016/S0304-3975(98)00310-7zbMath0951.03014MaRDI QIDQ1960421

Bernhard Heinemann

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

modal logictemporal logicsatisfiabilityaxiomatizationtopological reasoninglogic of knowledge and timenextstep operatorsubset tree models

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44)

Related Items (3)

Updating knowledge using subsets ⋮ A Logic for Belief Contraction ⋮ Epistemic Conditionals and the Logic of Subsets

Cites Work

• Topological reasoning and the logic of knowledge
• The complexity of propositional linear temporal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal aspects of the modal logic of subset spaces