Results 191 to 200 of about 478 (206)

First-Order Inquisitive Pair Logic

2011
We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models.
openaire   +1 more source

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic

2019
Inquisitive first-order logic, InqBQ, is an extension of classi- cal first-order logic with questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. In this paper we describe an Ehrenfeucht-Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic.
Gianluca Grilletti, Ivano Ciardelli
openaire   +3 more sources

Inquisitive Dynamic Epistemic Logic in a Non-classical Setting

2020
This paper studies the operations of public announcement of statements and public utterance of questions in the context of substructutral inquisitive epistemic logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In
openaire   +1 more source

Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

2009
We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish that (i) our tree-sequent calculus is sound and complete with respect to Groenendijk's inquisitive semantics and that (ii) our tree-sequent calculus is decidable and enjoys cut ...
openaire   +1 more source

Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic

Journal of Logic, Language and Information, 2021
Gianluca Grilletti, Grilletti Gianluca
exaly  

Structural Completeness and Superintuitionistic Inquisitive Logics

2023
Thomas Macaulay Ferguson, Vít Puncochár   +1 more
openaire   +1 more source

Inquisitive Heyting Algebras

Studia Logica, 2021
Vit Puncochar, Puncochar Vit
exaly  

A Generalization of Inquisitive Semantics

Journal of Philosophical Logic, 2015
Vit Puncochar, Puncochar Vit
exaly  

Weak Negation in Inquisitive Semantics

Journal of Logic, Language and Information, 2015
Vit Puncochar, Puncochar Vit
exaly  

Interrogative Dependencies and the Constructive Content of Inquisitive Proofs

Lecture Notes in Computer Science, 2014
Ivano Ciardelli, Ciardelli Ivano
exaly