Results 181 to 190 of about 478 (206)

Inquisitive logic as an epistemic logic of knowing how

Annals of Pure and Applied Logic, 2022
draft, 28 pages, to appear in Annals of Pure and Applied ...
, Yunsong Wang
exaly   +3 more sources

Proof-Theoretic Semantics and Inquisitive Logic

Journal of Philosophical Logic, 2021
Inquisitive semantics is made in order to offer a uniform approach to assertions and questions, where propositions are treated as sets of sets of possible worlds closed under subsets, naturally followed by the corresponding general inquisitive logic obtained as its generalisation. \textit{D.
William Stafford
exaly   +4 more sources

Free Choice in Modal Inquisitive Logic

Journal of Philosophical Logic, 2022
AbstractThis paper investigates inquisitive extensions of normal modal logic with an existential modal operator taken as primitive. The semantics of the existential modality is generalized to apply to questions, as well as statements. When the generalized existential modality is applied to a question, the result is a statement that roughly expresses ...
Karl Nygren
exaly   +2 more sources

Inquisitive dynamic epistemic logic [PDF]

SynthÈse, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Floris Roelofsen, Roelofsen Floris
exaly   +5 more sources

Action models in inquisitive logic [PDF]

SynthÈse, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thom Van Gessel
exaly   +5 more sources

Inferential erotetic logic meets inquisitive semantics [PDF]

SynthÈse, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andrzej Wisniewski, Dorota Leszczyńska-Jasion, Wisniewski Andrzej   +2 more
exaly   +2 more sources

Decidability of Inquisitive Modal Logic via Filtrations

Studia Logica
Inquisitive 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.
TIN Perkov
exaly   +3 more sources

Disjunction and Existence Properties in Inquisitive First-Order Logic [PDF]

Studia Logica, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gianluca Grilletti, Grilletti Gianluca
exaly   +5 more sources

SUBSTRUCTURAL INQUISITIVE LOGICS

The Review of Symbolic Logic, 2019
AbstractThis 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 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