Knowledge and Games in Modal Semirings

DOI10.1007/978-3-540-78913-0_24MaRDI QIDQ3498424zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A modal logic of epistemic games
• scientific article; zbMATH DE number 3884133
• Epistemic games in modal logic: Joint actions, knowledge and preferences all together
• scientific article; zbMATH DE number 2236605
• Game semantics, quantifiers and logical omniscience
• Game semantics for constructive modal logic
• scientific article; zbMATH DE number 2149374
• Games in dynamic-epistemic logic
• Semantics for intuitionistic epistemic logics of shallow depths for game theory

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 3858391 (Why is no real title available?)
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebras of modal operators and partial correctness
• Automated Reasoning in Kleene Algebra
• Boolean Algebras with Operators. Part I
• Dynamic logic of preference upgrade
• Epistemic Actions as Resources
• Game logic -- an overview
• Kleene algebra with domain
• Logic in Computer Science
• Mathematics of Program Construction
• Process algebra with recursive operations
• Quantales and Temporal Logics
• Refinement Algebra with Operators for Enabledness and Termination
• Refinement Calculus
• Relational and Kleene-Algebraic Methods in Computer Science
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(2)

• A sketch of a dynamic epistemic semiring
• A modal logic of epistemic games

Describes a project that uses

Uses Software

• Prover9

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

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