Results 11 to 20 of about 23,531 (249)
Structural completeness in propositional logics of dependence [PDF]
, 2015 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core +8 more sources
Inquisitive dynamic epistemic logic [PDF]
Synthese, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Roelofsen F
openaire +4 more sources
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 ...
Haoyu Wang, Yanjing Wang, Yunsong Wang
openaire +2 more sources
, 2022 Group agents can act, they can have knowledge. How should we understand the species of collective action which aims at knowledge? In this paper, I present an account of group inquiry.
Habgood-Coote, Joshua
core +2 more sources
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC [PDF]
The Review of Symbolic Logic, 2021 AbstractInquisitive first-order logic,InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic.
Grilletti G, Ciardelli I
openaire +3 more sources
Complexity of the Model Checking problem for inquisitive propositional and modal logic
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the problem of deciding whether a given finite structure for the logic satisfies a ...
Ciardelli, Ivano, Grilletti, Gianluca
core +2 more sources
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
The Review of Symbolic Logic, 2021 AbstractThis article provides an algebraic study of the propositional system $\mathtt {InqB}$ of inquisitive logic. We also investigate the wider class of $\mathtt {DNA}$ -logics, which are negative variants of intermediate logics, and the corresponding algebraic structures, $\mathtt {DNA}$ -varieties. We prove that the lattice of $\mathtt {DNA}$ -
BEZHANISHVILI, NICK +2 more
openaire +4 more sources
Coherence in inquisitive first-order logic
Annals of Pure and Applied Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivano Ciardelli, Gianluca Grilletti
openaire +1 more source
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 ...
openaire +1 more source
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be ...
Paul J. E. Dekker
doaj +1 more source