An algebraic generalization of Kripke structures

DOI10.1017/S0305004108001667zbMath1154.03008arXiv0704.1886OpenAlexW3098602556MaRDI QIDQ3542104

Sérgio Marcelino, Pedro Resende

Publication date: 28 November 2008

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0704.1886

zbMATH Keywords

modal logiccompletenessalgebraic semanticsKripke semanticsquantale-based semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Temporal logic (03B44) Quantales (06F07)

Related Items (4)

Groupoid sheaves as quantale sheaves ⋮ Effective equivalence relations and principal quantales ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Functoriality of groupoid quantales. II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Étale groupoids and their quantales
• Tropological systems are points of quantales
• A noncommutative theory of Penrose tilings

This page was built for publication: An algebraic generalization of Kripke structures