Publication:4637694

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

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

Publication date: 25 April 2018

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

zbMATH Keywords

coalgebraic model theory; coalgebraic predicate logic; coalgebraic proof theory

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G30: Categorical logic, topoi

03F05: Cut-elimination and normal-form theorems

03C50: Models with special properties (saturated, rigid, etc.)

03F03: Proof theory in general (including proof-theoretic semantics)

Uses Software

• APPL