Disjunction and existence properties in inquisitive first-order logic

DOI10.1007/s11225-018-9835-3OpenAlexW2898102970WikidataQ129050373 ScholiaQ129050373MaRDI QIDQ2278839

Gianluca Grilletti

Publication date: 11 December 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9835-3

zbMATH Keywords

disjunction propertyinquisitive logicteam semanticsexistence propertypermutation-based modeloperations on information models

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (5)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ QUESTIONS IN TWO-DIMENSIONAL LOGIC ⋮ Coherence in inquisitive first-order logic ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic

Cites Work

• Propositional logics of dependence
• Algebraic foundations for the semantic treatment of inquisitive content
• Quantification in nonclassical logic. Volume I.
• From IF to BI. A tale of dependence and separation
• Propositional inquisitive logic: a survey
• Questions as information types
• Compositional semantics for a language of imperfect information
• Unnamed Item
• Unnamed Item

This page was built for publication: Disjunction and existence properties in inquisitive first-order logic