The following pages link to A note on graded modal logic (Q1975165):
Displaying 32 items.
- On bisimulations for description logics (Q527171) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- General canonical models for graded normal logics. (Graded modalities. IV) (Q920975) (← 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)
- On the complexity of graded modal logics with converse (Q2296751) (← links)
- (Q2757826) (← links)
- Graded modal operators and fixed points (Q2883057) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- Logics of Belief over Weighted Structures (Q3094008) (← links)
- Introducing Grades in Deontic Logics (Q3522054) (← links)
- (Q4295885) (← links)
- (Q4298842) (← links)
- An Infinitary Graded Modal Logic (Graded Modalities VI) (Q4857866) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- (Q5445167) (← links)
- (Q5688814) (← links)
- (Q5884970) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Weak models of distributed computing, with connections to modal logic (Q5918244) (← links)
- Note on extending congruential modal logics (Q5963201) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- Granularity and rational approximation: rethinking graded rough sets (Q6535067) (← links)
- Embeddings as epistemic states: limitations on the use of pooling operators for accumulating knowledge (Q6577648) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)
