Knowledge and Games in Modal Semirings
From MaRDI portal
Publication:3498424
DOI10.1007/978-3-540-78913-0_24zbMATH Open1139.03048OpenAlexW29488690MaRDI QIDQ3498424FDOQ3498424
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
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
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)
Cites Work
- The logic of public announcements, common knowledge, and private suspicions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement Calculus
- Title not available (Why is that?)
- Logic in Computer Science
- Boolean Algebras with Operators. Part I
- Dynamic logic of preference upgrade
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Automated Reasoning in Kleene Algebra
- Quantales and Temporal Logics
- Title not available (Why is that?)
- Kleene algebra with domain
- Process algebra with recursive operations
- Epistemic Actions as Resources
- Game logic -- an overview
- Mathematics of Program Construction
- Algebras of modal operators and partial correctness
- Refinement Algebra with Operators for Enabledness and Termination
- Relational and Kleene-Algebraic Methods in Computer Science
Cited In (2)
Uses Software
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)
