Results 1 to 10 of about 795,447 (143)

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

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator ⇛\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts ...
Ciardelli I.
europepmc   +2 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]

Logic, Rationality, and Interaction, 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   +2 more sources

Complexity of the Model Checking problem for inquisitive propositional and modal logic

arXiv.org
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

Free Choice in Modal Inquisitive Logic

Journal of Philosophical Logic, 2022
This 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.
Karl Nygren
semanticscholar   +1 more source

On the expressive power of inquisitive epistemic logic [PDF]

Journal of Symbolic Logic (JSL), 2023
Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence
Ivano Ciardelli, Martin Otto
semanticscholar   +1 more source

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

Group Inquiry [PDF]

, 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

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

Journal of Logic, Language and Information, 2021
Inquisitive first order logic is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers.
Gianluca Grilletti
semanticscholar   +1 more source