Filtration via bisimulation

MaRDI QIDQ5483014zbMATH OpenFDO

Authors Valentin Shehtman

Publication date 15 August 2006

zbMATH Keywords

finite model propertylarge countermodelsmodal logicproducts of modal logics

Mathematics Subject Classification ID

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

Recommendations

• An algebraic look at filtrations in modal logic
• Filtrations of generalized Veltman models
• Canonical filtrations and local tabularity
• Filtration safe operations on frames
• Filtration of some well-known modal logics

Cited in

(17)

• Quotient dynamics: the logic of abstraction
• Finite models constructed from canonical formulas
• On squares of modal logics with additional connectives
• Continuity, freeness, and filtrations
• Controller/orchestrator synthesis via filtration
• Filtration of some well-known modal logics
• Products of modal logics with diagonal constant lacking the finite model property
• Relational properties of sequential composition of coalgebras
• scientific article; zbMATH DE number 2015561 (Why is no real title available?)
• scientific article; zbMATH DE number 2084668 (Why is no real title available?)
• Filtration safe operations on frames
• Canonical filtrations and local tabularity
• scientific article; zbMATH DE number 220055 (Why is no real title available?)
• An algebraic look at filtrations in modal logic
• An algebraic approach to filtrations for superintuitionistic logics
• Partitioning Kripke frames of finite height
• Tableaux with Dynamic Filtration for Layered Modal Logics

This page was built for publication: Filtration via bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483014)