The following pages link to A note on graded modal logic (Q1975165):
Displaying 12 items.
- On bisimulations for description logics (Q527171) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Typology of axioms for a weighted modal logic (Q1678446) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Logics of Belief over Weighted Structures (Q3094008) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
