A note on intersection of modalities

MaRDI QIDQ3365458zbMATH OpenFDO

Authors Tinko Tinchev

Publication date 23 January 2006

Mathematics Subject Classification ID

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

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

(5)

• Modal logics for reasoning about infinite unions and intersections of binary relations
• Modality via iterated enrichment
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• 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)