Results 31 to 40 of about 23,702 (247)
Inquisitive Intuitionistic Logic [PDF]
, 2020 Inquisitive logic is a research program seeking to expand the purview of logic beyond declarative sentences to include the logic of questions. To this end, inquisitive propositional logic extends classical propositional logic for declarative sentences with principles governing a new binary connective of inquisitive disjunction, which allows the ...
Wesley H. Holliday
openalex +2 more sources
Generalized inquisitive logic [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, Floris Roelofsen
openalex +5 more sources
Complexity of validity for propositional dependence logics [PDF]
, 2014 We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core +6 more sources
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 Puncochár, Igor Sedlár
openaire +1 more source
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity [PDF]
Abstract Propositional inquisitive logic is the limit of its n-bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grilletti [11], who also found complete axiomatizations of n-bounded inquisitive logics $$\textsf{InqBQ}_{n}$$
Tadeusz Litak, Katsuhiko Sano
+6 more sources
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
Structural Multi-type Sequent Calculus for Inquisitive Logic [PDF]
CoRR, 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 ...
Sabine Frittella +3 more
openalex +3 more sources
Modalities in the realm of questions: axiomatizing inquisitive epistemic logic [PDF]
, 2014 Building on ideas from inquisitive semantics, the recently proposed framework of in-quisitive epistemic logic (IEL) provides the tools to model and reason about scenarios in which agents do not only have information, but also entertain issues. This frame-work has been shown to allow for a generalization to issues of important notions, such as common ...
Ivano Ciardelli
openalex +3 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
Uniform Definability in Propositional Dependence Logic
, 2016 Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source