The logic of modal changes LMC

DOI10.1080/11663081.2020.1717267MaRDI QIDQ5217249zbMATH OpenOpenAlexFDO

Authors Marcin Łyczak

Publication date 24 February 2020

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2020.1717267

zbMATH Keywords

Aristotelian philosophy of changelogic applied to philosophylogic of changemodal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 6751867
• Some calculus for a logic of change
• The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language
• A completeness proof of Kiczuk's logic of physical change
• scientific article; zbMATH DE number 804145

Cites work

• A completeness proof of Kiczuk's logic of physical change
• A note on logics of essence and accident
• A system of the logic of change
• Between the logic of Parmenides and the logic of liar
• scientific article; zbMATH DE number 6751867 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• Logics of essence and accident
• Parallel action: Concurrent dynamic logic with independent modalities
• Some calculus for a logic of change

Cited in

(8)

• Change in individuals without a name. Contextual indicators & the free change-adaptive logic
• Some calculus for a logic of change
• scientific article; zbMATH DE number 3995642 (Why is no real title available?)
• The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language
• scientific article; zbMATH DE number 6751867 (Why is no real title available?)
• Between the logic of Parmenides and the logic of liar
• A completeness proof of Kiczuk's logic of physical change
• First-order logic of change

This page was built for publication: The logic of modal changes LMC

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