Results 221 to 230 of about 795,596 (256)
A Multi-type Calculus for Inquisitive Logic
Workshop on Logic, Language, Information and Computation, 2016 In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by Groenendijk, Roelofsen and Ciardelli which captures both assertions and questions in natural language ...
S. Frittella +3 more
semanticscholar +5 more sources
Decidability of Inquisitive Modal Logic via Filtrations
Studia LogicaInquisitive logic is an extension of classical logic which can express questions. To enable this expressiveness, a possible world semantics is used. So, it is natural to combine inquisitive and modal logic, thus obtaining the inquisitive modal logic InqML.
Stipe Marić, Tin Perkov
semanticscholar +3 more sources
Inquisitive Conditional Logics
Journal of Philosophical LogicAbstract Many traditional semantic theories of conditionals can be seen as determining how to assign propositions to conditional sentences based on the propositions expressed by their antecedents and consequents. As shown by Ciardelli (Semantics and Linguistic Theory (SALT), 26, 732–752, 2016b), such traditional semantic theories of ...
Karl Nygren
semanticscholar +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Labelled Sequent Calculus for Inquisitive Logic
Logic, Rationality, and Interaction, 2017A 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
semanticscholar +2 more sources
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting
Dynamic Logic. New Trends and Applications, 2020This 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
V. Punčochář
semanticscholar +2 more sources
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Workshop on Logic, Language, Information and Computation, 2009We 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 ...
Katsuhiko Sano
semanticscholar +2 more sources
An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic
Tbilisi Symposium on Logic, Language, and Computation, 2018Inquisitive 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
semanticscholar +4 more sources
SUBSTRUCTURAL INQUISITIVE LOGICS
The Review of Symbolic Logic, 2019AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire +1 more source
Labelled Sequent Calculi for Inquisitive Modal Logics
Workshop on Logic, Language, Information and ComputationValentin Müller
semanticscholar +2 more sources