A coalgebraic view on positive modal logic

DOI10.1016/j.tcs.2004.07.026zbMath1068.03017OpenAlexW1982910240MaRDI QIDQ703528

Alessandra Palmigiano

Publication date: 11 January 2005

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.026

zbMATH Keywords

Priestley spacepositive modal logiccoalgebraic semanticspositive modal algebraVietoris functor

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (6)

Coalgebraic representations of distributive lattices with operators ⋮ Proof systems for Moss' coalgebraic logic ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Positive monotone modal logic ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics

Cites Work

• Domain theory in logical form
• Coalgebraic logic
• A coalgebraic view of Heyting duality
• Positive modal logic
• Varieties of complex algebras
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Abstract Logics as Dialgebras
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Coalgebraic modal logic of finite rank
• Functors for coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A coalgebraic view on positive modal logic