scientific article; zbMATH DE number 6917170

DOI10.4230/LIPICS.CALCO.2017.9MaRDI QIDQ4580204zbMATH OpenFDO

Authors Fredrik Dahlqvist, Alexander Kurz

Publication date 13 August 2018

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

zbMATH Keywords

Boolean algebracoalgebraic logiccoalgebrasdistributive latticeenriched category theorymonotone modal logicpositive modal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Enriched categories (over closed or monoidal categories) (18D20) Knowledge representation (68T30)

Recommendations

• A coalgebraic view on positive modal logic
• Expressiveness of positive coalgebraic logic
• Positive fragments of coalgebraic logics
• Positive fragments of coalgebraic logics
• Coalgebraic semantics for positive modal logic
• An institutional approach to positive coalgebraic logic
• On a coalgebraic view on logic
• Coalgebraic logic
• scientific article; zbMATH DE number 1497872
• Coalgebraic logics \& duality

Cited in

(11)

• Coalgebraic logics \& duality
• Positive monotone modal logic
• Positive fragments of coalgebraic logics
• An institutional approach to positive coalgebraic logic
• Positive fragments of coalgebraic logics
• Extending set functors to generalised metric spaces
• scientific article; zbMATH DE number 6302899 (Why is no real title available?)
• Expressiveness of positive coalgebraic logic
• Stone duality for relations
• A coalgebraic view on positive modal logic
• Title not available (Why is no real title available?)

This page was built for publication:

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