Some calculus for a logic of change

DOI10.1080/11663081.2012.682435MaRDI QIDQ4583141zbMATH OpenOpenAlexFDO

Authors Kordula Świȩtorzecka, Johannes Czermak

Publication date 28 August 2018

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

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

zbMATH Keywords

temporal logicchangelogic of changeepistemic (belief) changes

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 6751867
• The logic of modal changes LMC
• scientific article; zbMATH DE number 638620
• Between the logic of Parmenides and the logic of liar
• A system of the logic of change

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 804145 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3266582 (Why is no real title available?)
• Between the logic of Parmenides and the logic of liar
• Examination of the axiomatic foundations of a theory of change. I

Cited in

(7)

• Between the logic of Parmenides and the logic of liar
• scientific article; zbMATH DE number 4066850 (Why is no real title available?)
• A completeness proof of Kiczuk's logic of physical change
• The logic of modal changes LMC
• First-order logic of change
• A Leibnizian Logic of Possible Laws
• The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language

This page was built for publication: Some calculus for a logic of change

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