A note on graded modal logic

DOI10.1023/A:1005245900406zbMath0951.03018OpenAlexW2167608641MaRDI QIDQ1975165

Maarten de Rijke

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

zbMATH Keywords

invariancemodel theorybisimulationdefinabilityfinite model propertygraded modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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