Some calculus for a logic of change

DOI10.1080/11663081.2012.682435zbMATH Open1398.03082OpenAlexW2052382295MaRDI QIDQ4583141FDOQ4583141

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

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

zbMATH Keywords

temporal logicchangelogic of changeepistemic (belief) changes

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Examination of the axiomatic foundations of a theory of change. I
• Between the logic of Parmenides and the logic of liar
• Title not available (Why is that?)

Cited In (7)

• Between the logic of Parmenides and the logic of liar
• Title not available (Why is that?)
• 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)