Filtration safe operations on frames

MaRDI QIDQ4636301zbMATH OpenFDO

Authors Stanislav Kikot, Ilya Shapirovsky, Evgeni E. Zolin

Publication date 23 April 2018

zbMATH Keywords

filtrationfinite model propertygrammar modal logicHorn closuremodal logicpropositional dynamic logicregular grammartense logictransitive closureuniversal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

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

Cited in

(10)

• Finite model property in weakly transitive tense logics
• scientific article; zbMATH DE number 3848599 (Why is no real title available?)
• Filtration of some well-known modal logics
• Canonical filtrations and local tabularity
• Modal logics with transitive closure: completeness, decidability, filtration
• An algebraic look at filtrations in modal logic
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Partitioning Kripke frames of finite height
• Filtration via bisimulation
• Decidability of modal logics of non-\(k\)-colorable graphs

This page was built for publication: Filtration safe operations on frames

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