Algebraic Semantics for Dynamic Dynamic Logic

DOI10.1007/978-3-662-48561-3_21zbMath1471.03033OpenAlexW2295248170MaRDI QIDQ3457709

Jeremy Seligman, Minghui Ma

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_21

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items

Recapturing dynamic logic of relation changers via bounded morphisms

Cites Work

• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Dynamic logics of evidence-based beliefs
• Dynamic epistemic logic
• Dynamic algebras: Examples, constructions, applications
• Propositional dynamic logic of regular programs
• Logics of public communications
• How to Update Neighborhood Models
• Epistemic Updates on Algebras
• PDL with negation of atomic programs
• Computer Science Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic Semantics for Dynamic Dynamic Logic