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

DOI10.1007/S10849-021-09341-YzbMATH Open1496.03121OpenAlexW3202910781MaRDI QIDQ2071575FDOQ2071575

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical investigations in Heyting's intuitionistic logic
• Inquisitive logic
• Weak negation in inquisitive semantics
• First-Order Inquisitive Pair Logic
• Inquisitive Semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Propositional inquisitive logic: a survey
• Questions and dependency in intuitionistic logic
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Disjunction and existence properties in inquisitive first-order logic

Cited In (3)

• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Completeness for ancestral logic via a computationally-meaningful semantics
• Coherence in inquisitive first-order logic

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

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