scientific article; zbMATH DE number 6917170

DOI10.4230/LIPICS.CALCO.2017.9zbMATH Open1433.03160arXiv1812.07288MaRDI QIDQ4580204FDOQ4580204

Authors: Fredrik Dahlqvist, Alexander Kurz 

Publication date: 13 August 2018

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Boolean algebracoalgebraic logiccoalgebrasdistributive latticepositive modal logicenriched category theorymonotone modal logic

Mathematics Subject Classification ID

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

Cited In (10)

• A coalgebraic view on positive modal logic
• Title not available (Why is that?)
• Stone duality for relations
• Positive monotone modal logic
• Expressiveness of positive coalgebraic logic
• Coalgebraic logics \& duality
• An institutional approach to positive coalgebraic logic
• Positive fragments of coalgebraic logics
• Extending set functors to generalised metric spaces
• Positive fragments of coalgebraic logics

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)