Results 1 to 10 of about 23,702 (247)

Bisimulation in Inquisitive Modal Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj   +8 more sources

Inquisitive Neighborhood Logic [PDF]

Journal of Logic, Language and Information
Abstract We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator $$\Rrightarrow $$ ⇛
Ivano Ciardelli
exaly   +10 more sources

Inquisitive Logic [PDF]

Trends in Logic, 2022
This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once ...
Ivano Ciardelli
exaly   +6 more sources

Propositional inquisitive logic: a survey [PDF]

Computer Science Journal of Moldova, 2016
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj   +6 more sources

Bisimulation Quotient in Inquisitive Modal Logic

Logics
Inquisitive modal logic InqML⊞ is a natural generalization of basic modal logic, with ⊞ as a primitive modal operator. In this paper, we study the bisimulation quotients in the logic InqML⊞.
Stipe Marić
doaj   +3 more sources

Proof-Theoretic Semantics and Inquisitive Logic [PDF]

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   +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   +1 more
exaly   +4 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
exaly   +6 more sources

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

Journal of Logic, Language and Information, 2021
AbstractInquisitive first order logic "Equation missing" is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether "Equation missing" is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli ...
Gianluca Grilletti
exaly   +5 more sources

A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic

Bulletin of the Section of Logic
This paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj   +2 more sources