Filtration via bisimulation

MaRDI QIDQ5483014zbMATHFDO

Authors Valentin Shehtman

Publication date 15 August 2006

zbMATH Keywords

modal logicproducts of modal logicsfinite model propertylarge countermodels

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)

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