Results 1 to 10 of about 23,413 (132)

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

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Abstract We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator $$\Rrightarrow $$ ⇛
Ciardelli I.
europepmc   +3 more sources

Inquisitive Logic [PDF]

, 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.
Ciardelli, Ivano
core   +3 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   +4 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   +2 more sources

Undefinability in Inquisitive Logic with Tensor [PDF]

, 2019
Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a ...
A Baltag, E Grädel, F Roelofsen, F Veltman, F Veltman, F Yang, F Yang, H Ditmarsch van, I Ciardelli, I Ciardelli, I Ciardelli, J Bledin, J Groenendijk, J Kontinen, J Kontinen, J Väänänen, JCC McKinsey, N Kolodny, P Galliani, P Galliani, S Abramsky, S Yalcin, V Goranko, V Punčochář   +23 more
core   +4 more sources

Inquisitive Propositional Dynamic Logic

Journal of Logic, Language and Information, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vít Punčochář, Igor Sedlár
openaire   +2 more sources

Inquisitive Logic [PDF]

Journal of Philosophical Logic, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ciardelli I, Roelofsen F
openaire   +4 more sources

A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC [PDF]

The Review of Symbolic Logic, 2021
AbstractWe present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm{InqML}$ .
Meissner, Silke, Otto, Martin
openaire   +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.
Ciardelli I, Roelofsen F
openaire   +3 more sources