scientific article

From MaRDI portal

Publication:2904060

Jump to:navigation, search

zbMath1254.03121MaRDI QIDQ2904060

Yde Venema, Alexander Kurz

Publication date: 5 August 2012

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

zbMATH Keywords

modal logic compactness Kripke models coalgebraic logic bisimulation invariance Lindström theorems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (6)

A general Lindström theorem for some normal modal logics ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Unnamed Item ⋮ Chain logic and Shelah's infinitary logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2904060&oldid=15870092"