A note on graded modal logic
From MaRDI portal
Publication:1975165
DOI10.1023/A:1005245900406zbMath0951.03018OpenAlexW2167608641MaRDI QIDQ1975165
Publication date: 9 April 2000
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005245900406
Related Items (18)
Characteristic formulae for fixed-point semantics: a general framework ⋮ On Composing Finite Forests with Modal Logics ⋮ Structure and Power: an Emerging Landscape ⋮ Typology of axioms for a weighted modal logic ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ Arboreal categories and equi-resource homomorphism preservation theorems ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Modal logics and local quantifiers: a zoo in the elementary hierarchy ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ On bisimulations for description logics ⋮ CTL\(^\ast\) with graded path modalities ⋮ Weak models of distributed computing, with connections to modal logic ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Logics of Belief over Weighted Structures ⋮ Expressiveness of concept expressions in first-order description logics ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication: A note on graded modal logic