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)

zbMATH Keywords

team semanticsmodal logicfree choice

Mathematics Subject Classification ID

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

Cites work

• 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?)
• A Van Benthem Theorem for Modal Team Semantics
• A remark on Henkin sentences and their contraries
• A remark on negation in dependence logic
• 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
• 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)

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

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)