Filtration via bisimulation

zbMATH Open1102.03021MaRDI QIDQ5483014FDOQ5483014

Authors: Valentin Shehtman 

Publication date: 15 August 2006

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

zbMATH Keywords

modal logicproducts of modal logicsfinite model propertylarge countermodels

Mathematics Subject Classification ID

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

Cited In (17)

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

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)