State-based modal logics for free choice

DOI10.1215/00294527-2024-0027MaRDI QIDQ7034187zbMATH OpenFDO

Authors Maria Aloni, Aleksi Anttila, Fan Yang

Publication date 31 January 2025

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

Full work available at URL https://doi.org/10.1215/00294527-2024-0027

zbMATH Keywords

free choicemodal logicteam semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic of natural languages (03B65)

Cites work

• A remark on Henkin sentences and their contraries
• A remark on negation in dependence logic
• A Van Benthem Theorem for Modal Team Semantics
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Free choice in deontic inquisitive semantics (DIS)
• Free choice in modal inquisitive logic
• From worlds to possibilities
• Handbook of modal logic
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 3274722 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• INQUISITIVE BISIMULATION
• Inquisitive Logic
• Inquisitive logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logical multilateralism
• Modal dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Modal independence logic
• Modal logic
• Model-theoretic and computational properties of modal dependence logic
• Multiple conclusions
• Multiverse set theory and absolutely undecidable propositions
• Proofs, disproofs, and their duals
• Propositional logics of dependence
• Propositional team logics
• Propositional union closed team logics
• Questions and dependency in intuitionistic logic
• Rejection
• Simplifying with free choice
• The expressive power of modal dependence logic
• The expressive power of modal logic with inclusion atoms
• Uniform interpolation for propositional and modal team logics

Cited in

(2)

• Axiomatizing modal inclusion logic and its variants
• A logic for reasoning about independent alternatives

This page was built for publication: State-based modal logics for free choice

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