TY  - RPRT
A1  - Möller, Bernhard
T1  - Knowledge and games in modal semirings
N2  - Algebraic logic compacts many small steps of general logical derivation into large steps of equational reasoning. We illustrate this by representing epistemic logic and game logic in modal semirings and modal Kleene algebras. For epistemics we treat some classical examples like the wise men and muddy children puzzles; we also show how to handle knowledge update and revision algebraically. For games, we generalise the well-known connection between game logic and dynamic logic to modal semirings and link it to predicate transformer semantics, in particular to demonic refinement algebra. The study provides evidence that modal semirings will be able to handle a wide variety of (multi-)modal logics in a uniform algebraic fashion well suited to machine assistance.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2007-03 
KW  - Kleene-Algebra
KW  - Halbring
KW  - Spiel
Y1  - 2007
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/470
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-3877
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -