A note on intersection of modalities
From MaRDI portal
Publication:3365458
zbMATH Open1079.03531MaRDI QIDQ3365458FDOQ3365458
Authors: Tinko Tinchev 
Publication date: 23 January 2006
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
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)
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
- Pointwise intersection in neighbourhood modal logic
- Modal Aggregation and the Theory of Paraconsistent Filters
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)
