Coherence in inquisitive first-order logic

DOI10.1016/j.apal.2022.103155OpenAlexW4283393776MaRDI QIDQ2159932

Gianluca Grilletti, Ivano A. Ciardelli

Publication date: 2 August 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103155

zbMATH Keywords

coherencecompactnessaxiomatizationinquisitive logicteam semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Basic properties of first-order languages and structures (03C07) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Algebraic foundations for the semantic treatment of inquisitive content
• Inquisitive logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Semantical investigations in Heyting's intuitionistic logic
• Dependence and independence
• Coherence and computational complexity of quantifier-free dependence logic formulas
• Completeness for the classical antecedent fragment of inquisitive first-order logic
• Negation and partial axiomatizations of dependence and independence logic revisited
• Disjunction and existence properties in inquisitive first-order logic
• First-Order Inquisitive Pair Logic
• Compositional semantics for a language of imperfect information
• Inquisitive Semantics
• Dependency as Question Entailment

This page was built for publication: Coherence in inquisitive first-order logic