TY  - CONF
A1  - Möller, Bernhard
A1  - Desharnais, Jules
A2  - Țuțu, Ionuț
T1  - Some uses of modal semirings
T2  - Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, revised selected papers
N2  - We survey one branch of algebraic logic, namely modal semirings.
They provide compact algebraic definitions of actions, with choice
+ and sequential composition · , together with modal operators box and diamond, parametrised by actions, that allow reasoning about successors and predecessors of states/worlds. Particular instances are homogeneous binary relations or sets of finite and infinite non-empty traces under fusing concatenation. As main examples of applications we present obstacle analysis for geographic wayfinders, Hoare Logic, O’Hearn’s Incorrectness  Logic, General Correctness Logic, as well as the temporal logic CTL∗ and its sublogics CTL and LTL. We also give glimpses at Epistemic Logics of belief and knowledge, pointer structures plus Separation Logic and preference database queries. Finally, we briefly discuss some related algebraic approaches.
KW  - algebraic semantics
KW  - semirings with modal operators
KW  - assertion logics
KW  - temporal logics
Y1  - 2025
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/123161
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1231611
SN  - 978-3-031-88929-5
SN  - 0302-9743
SP  - 23
EP  - 45
PB  - Springer
CY  - Cham
ER  -