Completeness for the classical antecedent fragment of inquisitive first-order logic
type: Item
instance of: scholarly article
title: Completeness for the classical antecedent fragment of inquisitive first-order logic
zbMATH Open document ID: 1496.03121
author: Gianluca Grilletti
published in: Journal of Logic, Language and Information
publication date: 2022-01-28T00:00:00Z
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 7465846
zbMATH Keywords: inquisitive logic
zbMATH Keywords: completeness
zbMATH Keywords: canonical model
zbMATH Keywords: fragment
MaRDI profile type: Publication
full work available at URL: s10849-021-09341-y
OpenAlex ID: W3202910781
cites work: Q4636287
cites work: Propositional inquisitive logic: a survey
cites work: Inquisitive logic
cites work: Inquisitive Semantics
cites work: Questions and dependency in intuitionistic logic
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Disjunction and existence properties in inquisitive first-order logic
cites work: Q4003410
cites work: First-Order Inquisitive Pair Logic
cites work: Weak negation in inquisitive semantics
cites work: SUBSTRUCTURAL INQUISITIVE LOGICS
cites work: Algebraic foundations for the semantic treatment of inquisitive content
DOI: 10.1007/S10849-021-09341-Y
description: scientific article; zbMATH DE number 7465846