Results 21 to 30 of about 795,596 (256)
Journal of Philosophical Logic, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivano Ciardelli, F. Roelofsen
semanticscholar +5 more sources
Generalized inquisitive logic: completeness via intuitionistic Kripke models [PDF]
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009 This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.
Ivano Ciardelli, F. Roelofsen
semanticscholar +4 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
Correction to: Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality [PDF]
Logic, Language, Information, and Computation, 2019 N. Bezhanishvili +2 more
semanticscholar +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
Revista de Direito Penal, Processo Penal e Constituição, 2015 This work aims to identify the importance of police investigation to the democratic rule of law, from revisiting the origins of the police investigation work will seek to demonstrate that research can and should extricate the inquisitorial logic ...
Waldir Miguel dos Santos Júnior
doaj +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
Epistemic extensions of substructural inquisitive logics
Journal of Logic and Computation, 2021 AbstractIn this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which is based on the classical logic of declaratives.
Vít Punčochář, Igor Sedlár
openaire +1 more source
The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities [PDF]
Logic, Rationality, and Interaction, 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
semanticscholar +2 more sources
, 2018 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 ...
Ciardelli, Ivano, Otto, Martin
core +1 more source