In so many possible worlds

DOI10.1305/NDJFL/1093890715MaRDI QIDQ2542272zbMATH OpenOpenAlexFDO

Authors Kit Fine

Publication date 1972

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093890715

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Cited in

(42)

• Graded modalities in strategy logic
• Typology of axioms for a weighted modal logic
• Reasoning about graded strategy quantifiers
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• CTL^ with graded path modalities
• A logic for diffusion in social networks
• Trust evidence logic
• Weighted modal logic in epistemic and deontic contexts
• Model theoretical aspects of weakly aggregative modal logic
• \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting
• Complexity of modal logics with Presburger constraints
• A modal representation of graded medical statements
• Reasoning with global assumptions in arithmetic modal logics
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Logics of belief over weighted structures
• Logic programming with graded modality
• CTL Model-Checking with Graded Quantifiers
• Coalgebraic Hybrid Logic
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Linear-time temporal logics with Presburger constraints: an overview
• A quantitative analysis of modal logic
• The Modality of Finite (Graded Modalities VII)
• Modal operators for rational grading
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• Negation of graded beliefs
• The generality of scientific models: a measure theoretic approach
• Finite-Chain Graded Modal Logic
• DYNAMIC GRADED EPISTEMIC LOGIC
• Weak models of distributed computing, with connections to modal logic
• To be announced
• Neighbourhood Semantics for Graded Modal Logic
• COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
• INTERLEAVING LOGIC AND COUNTING
• Coalgebraic semantics of modal logics: an overview
• Algebraic proof theory for LE-logics
• Modal reduction principles: a parametric shift to graphs
• A probabilistic modal logic for context-aware trust based on evidence
• The modal logic of n-state frames
• Automata-theoretic characterisations of branching-time temporal logics
• Are targeted messages more effective?
• Non-iterative modal resolution calculi
• \({\mathcal E}\)-connections of abstract description systems

This page was built for publication: In so many possible worlds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2542272)