Results 231 to 240 of about 23,702 (247)

The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities [PDF]

, 2017
Inquisitive dynamic epistemic logic (IDEL) extends public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question.
Ivano Ciardelli
openalex   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Labelled Sequent Calculus for Inquisitive Logic

2017
A contraction-free and cut-free labelled sequent calculus \(\mathsf {GInqL}\) for inquisitive logic is established. Labels are defined by a set-theoretic syntax. The completeness of \(\mathsf {GInqL}\) is shown by the equivalence between the Hilbert-style axiomatic system and sequent system.
Jinsheng Chen, Minghui Ma
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
openalex   +4 more sources

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

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

Structural Completeness and Superintuitionistic Inquisitive Logics

2023
Thomas Macaulay Ferguson, Vít Puncochár   +1 more
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

Inquisitive Heyting Algebras

Studia Logica, 2021
Vít Punčochář
exaly  

A Generalization of Inquisitive Semantics

Journal of Philosophical Logic, 2015
Vít Punčochář
exaly  

Weak Negation in Inquisitive Semantics

Journal of Logic, Language and Information, 2015
Vít Punčochář
exaly