The following pages link to In so many possible worlds (Q2542272):
Displaying 23 items.
- The generality of scientific models: a measure theoretic approach (Q516375) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Typology of axioms for a weighted modal logic (Q1678446) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Trust evidence logic (Q2146059) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- A Modal Representation of Graded Medical Statements (Q2835049) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Logics of Belief over Weighted Structures (Q3094008) (← links)
- Logic Programming with Graded Modality (Q3449234) (← links)
- The Modality of Finite (Graded Modalities VII) (Q4704653) (← links)
- To be announced (Q6040661) (← links)
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND (Q6131221) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
