A coalgebraic semantics for epistemic programs

MaRDI QIDQ2843718zbMATH OpenFDO

Authors Alexandru Baltag

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806303

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Coalgebraic Epistemic Update Without Change of Model
• Logics for epistemic programs
• Epistemic updates on algebras
• Coalgebraic Announcement Logics
• Epistemic Actions as Resources

Cited in

(3)

• Categories for dynamic epistemic logic
• Logics for epistemic programs
• Coalgebraic Epistemic Update Without Change of Model

This page was built for publication: A coalgebraic semantics for epistemic programs

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