A coalgebraic view on positive modal logic

DOI10.1016/J.TCS.2004.07.026zbMATH Open1068.03017OpenAlexW1982910240MaRDI QIDQ703528FDOQ703528

Authors: 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

Recommendations

• Coalgebraic semantics for positive modal logic
• An institutional approach to positive coalgebraic logic
• Positive fragments of coalgebraic logics
• scientific article; zbMATH DE number 6917170
• Positive fragments of coalgebraic logics
• Remarks on hyperspaces for Priestley spaces
• Positive monotone modal logic
• scientific article; zbMATH DE number 5872402
• Expressiveness of positive coalgebraic logic
• A note on the model theory for positive modal logic

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)

Cites Work

• Title not available (Why is that?)
• Domain theory in logical form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positive modal logic
• Title not available (Why is that?)
• Functors for coalgebras
• Coalgebraic logic
• Varieties of complex algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract logics as dialgebras
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coalgebraic view of Heyting duality
• Title not available (Why is that?)
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Coalgebraic modal logic of finite rank
• Coalgebraic semantics for positive modal logic
• Title not available (Why is that?)

Cited In (18)

• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Proof systems for Moss' coalgebraic logic
• Title not available (Why is that?)
• Natural duality, modality, and coalgebra
• Coalgebras and modal expansions of logics
• Finitary coalgebraic multisemilattices and multilattices.
• Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
• Many-valued coalgebraic logic over semi-primal varieties
• Coalgebraic representations of distributive lattices with operators
• Positive monotone modal logic
• Expressiveness of positive coalgebraic logic
• Remarks on hyperspaces for Priestley spaces
• Coalgebraic semantics for positive modal logic
• An institutional approach to positive coalgebraic logic
• Positive fragments of coalgebraic logics
• Modal compact Hausdorff spaces
• A coalgebraic view of Heyting duality
• Positive fragments of coalgebraic logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703528)