A note on intersection of modalities

MaRDI QIDQ3365458zbMATH OpenFDO

Authors Tinko Tinchev

Publication date 23 January 2006

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A tableau method for graded intersections of modalities: A case for concept languages
• Modal tableau calculi and interpolation
• Modal logics for reasoning about infinite unions and intersections of binary relations
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• scientific article; zbMATH DE number 1163388

Cited in

(6)

• Simpler completeness proofs for modal logics with intersection
• Modality via iterated enrichment
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Modal logics for reasoning about infinite unions and intersections of binary relations
• Modal Aggregation and the Theory of Paraconsistent Filters
• Pointwise intersection in neighbourhood modal logic

This page was built for publication: A note on intersection of modalities

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