Knowledge and Games in Modal Semirings

DOI10.1007/978-3-540-78913-0_24zbMath1139.03048OpenAlexW29488690MaRDI QIDQ3498424

Bernhard Möller

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78913-0_24

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items (1)

A sketch of a dynamic epistemic semiring

Uses Software

• Prover9

Cites Work

• Algebras of modal operators and partial correctness
• A completeness theorem for Kleene algebras and the algebra of regular events
• Game logic -- an overview
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Automated Reasoning in Kleene Algebra
• Refinement Algebra with Operators for Enabledness and Termination
• Quantales and Temporal Logics
• Dynamic logic of preference upgrade
• Refinement Calculus
• Logic in Computer Science
• Kleene algebra with domain
• Mathematics of Program Construction
• Epistemic Actions as Resources
• Relational and Kleene-Algebraic Methods in Computer Science
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Knowledge and Games in Modal Semirings