scientific article; zbMATH DE number 6917170

DOI10.4230/LIPICS.CALCO.2017.9zbMath1433.03160arXiv1812.07288MaRDI QIDQ4580204

Fredrik Dahlqvist, Alexander Kurz

Publication date: 13 August 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebrasBoolean algebradistributive latticecoalgebraic logicpositive modal logicenriched category theorymonotone modal logic

Mathematics Subject Classification ID

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

Related Items (3)

Positive monotone modal logic ⋮ Coalgebraic logics \& duality ⋮ Extending set functors to generalised metric spaces

This page was built for publication: