In so many possible worlds
From MaRDI portal
Publication:2542272
DOI10.1305/ndjfl/1093890715zbMath0205.30306OpenAlexW2086035610MaRDI QIDQ2542272
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
Related Items (35)
Logic Programming with Graded Modality ⋮ Graded modalities in strategy logic ⋮ Trust evidence logic ⋮ Complexity of modal logics with Presburger constraints ⋮ Weighted modal logic in epistemic and deontic contexts ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ A quantitative analysis of modal logic ⋮ Typology of axioms for a weighted modal logic ⋮ Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ To be announced ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ Unnamed Item ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Negation of Graded Beliefs ⋮ Reasoning about graded strategy quantifiers ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting ⋮ CTL Model-Checking with Graded Quantifiers ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ The generality of scientific models: a measure theoretic approach ⋮ A logic for diffusion in social networks ⋮ CTL\(^\ast\) with graded path modalities ⋮ Unnamed Item ⋮ Coalgebraic Hybrid Logic ⋮ Weak models of distributed computing, with connections to modal logic ⋮ Finite-Chain Graded Modal Logic ⋮ The Modality of Finite (Graded Modalities VII) ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Logics of Belief over Weighted Structures ⋮ EXPTIME Tableaux for the Coalgebraic μ-Calculus ⋮ Linear-time temporal logics with Presburger constraints: an overview ★ ⋮ A Modal Representation of Graded Medical Statements ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication: In so many possible worlds
