scientific article; zbMATH DE number 6864545

DOI10.23638/LMCS-14(1:22)2018zbMath1459.03104arXiv1701.03773MaRDI QIDQ4637694

Dirk Pattinson, Tadeusz Litak, Katsuhiko Sano, Lutz Schröder

Publication date: 25 April 2018

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

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

zbMATH Keywords

coalgebraic model theorycoalgebraic predicate logiccoalgebraic proof theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Models with special properties (saturated, rigid, etc.) (03C50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Correspondence, canonicity, and model theory for monotonic modal logics ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Uses Software

• APPL