Completeness for the classical antecedent fragment of inquisitive first-order logic

DOI10.1007/s10849-021-09341-yzbMath1496.03121OpenAlexW3202910781MaRDI QIDQ2071575

Gianluca Grilletti

Publication date: 28 January 2022

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-021-09341-y

zbMATH Keywords

completenessinquisitive logiccanonical modelfragment

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (2)

Coherence in inquisitive first-order logic ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES

Cites Work

• Unnamed Item
• Unnamed Item
• Weak negation in inquisitive semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Inquisitive logic
• Semantical investigations in Heyting's intuitionistic logic
• Propositional inquisitive logic: a survey
• Questions and dependency in intuitionistic logic
• Disjunction and existence properties in inquisitive first-order logic
• First-Order Inquisitive Pair Logic
• Inquisitive Semantics
• SUBSTRUCTURAL INQUISITIVE LOGICS

This page was built for publication: Completeness for the classical antecedent fragment of inquisitive first-order logic