A modal logic of supervenience

DOI10.1215/00294527-2019-0006OpenAlexW2563556038MaRDI QIDQ2319894

Jie Fan

Publication date: 20 August 2019

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

Full work available at URL: https://arxiv.org/abs/1611.04740

zbMATH Keywords

expressivitydeterminacyaxiomatizationssuperveniencenoncontingency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Supervenience, Dependence, Disjunction ⋮ A modal logic of supervenience

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fitch's paradox and ceteris paribus modalities
• Everything else being equal: a modal logic for ceteris paribus preferences
• Functional dependencies, supervenience, and consequence relations
• Completeness and definability in the logic of noncontingency
• The modal logic of agreement and noncontingency
• The logic of non-contingency
• Minimal non-contingency logic
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Prioritised ceteris paribus logic for counterfactual reasoning
• A modal logic of supervenience
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
• Supervenience, Dependence, Disjunction
• CONTINGENCY AND KNOWING WHETHER
• The Ceteris Paribus Structure of Logics of Game Forms
• Note on supervenience and definability

This page was built for publication: A modal logic of supervenience