The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

DOI10.12775/LLP.2020.012zbMath1486.03036MaRDI QIDQ5013615

Marcin Łyczak

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

epistemic logiclogic of changeperfect recallgrowing language\(\mathsf{S4.3}\) knowledgecurrent and stably knowledgeno learning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Belief, awareness, and limited reasoning
• Complete axiomatizations for reasoning about knowledge and branching time
• Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
• Hintikka’s Knowledge and Belief in Flux
• Systems for Knowledge and Belief
• Some calculus for a logic of change
• Complete Axiomatizations for Reasoning about Knowledge and Time
• The logic of modal changes LMC

This page was built for publication: The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language