Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

DOI10.1016/j.entcs.2006.09.040zbMath1277.03028OpenAlexW2100036411MaRDI QIDQ2864394

Peter Höfner

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.040

zbMATH Keywords

temporal logicsemiringquantaleKleene algebraomega algebraneighbourhood logicITLIL

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60) Temporal logic (03B44) Quantales (06F07)

Related Items

Algebraic neighbourhood logic

Uses Software

• CalcCheck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Characterizing determinacy in Kleene algebras
• Quantales and Temporal Logics
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A duration calculus with infinite intervals
• Mathematics of Program Construction
• Lazy Semiring Neighbours and Some Applications
• Relational Methods in Computer Science