scientific article
From MaRDI portal
Publication:2904063
zbMath1254.03039MaRDI QIDQ2904063
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coalgebraic logicuniform interpolationbisimulation quantifiersmonotone modal logicmonotone neighborhood models
Related Items (8)
Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ The succinctness of the cover modality ⋮ Proof systems for Moss' coalgebraic logic ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Positive monotone modal logic ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Lax extensions of coalgebra functors and their logic
This page was built for publication:
