Results 101 to 110 of about 10,593 (211)

Epistemic Equilibrium Logic.

, 2015
We add epistemic modal operators to the language of here-and-there logic and define epistemic here-and-there models.We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an ...
Fariñas del Cerro, Luis, Herzig, Andreas, Su, Ezgi Iraz   +2 more
openaire   +2 more sources

Tableaux for Epistemic Gödel Logic

We propose a multi-agent epistemic logic capturing reasoning with degrees of plausibility that agents can assign to a given statement, with $1$ interpreted as "entirely plausible for the agent" and $0$ as "completely implausible" (i.e., the agent knows that the statement is false).
Bílková, Marta, Ferguson, Thomas, Kozhemiachenko, Daniil   +2 more
openaire   +3 more sources

Automatic verification of knowledge and time with NuSMV

, 2007
We show that the problem of model checking multidimensional modal logics can be reduced to the problem of model checking ARCTL, an extension of the temporal logic CTL with action labels and operators to reason about actions. In particular, we introduce a
Franco Raimondi, Lomuscio, Alessio, Proceedings of IJCAI 07, Pecheur, C, Raimondi, F, Alessio Lomuscio, Charles Pecheur, Pecheur, Charles, Lomuscio, A, Raimondi, Franco   +9 more
core  

On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]

, 2013
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core  

Knowing-Who in Quantified Epistemic Logic

, 2018
This article proposes an account of knowing-who constructions within a generalisation of Hintikka’s (Knowledge and belief. Cornell UP, Ithaca, MA, [10]) quantified epistemic logic employing the notion of a conceptual cover Aloni PhD thesis [1].
Aloni, M., Sandu, G., van Ditmarsch, H.
core   +1 more source

Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic. [PDF]

J Logic Lang Inf, 2018
van de Pol I, van Rooij I, Szymanik J.
europepmc   +1 more source

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups

Philosophies
We use a novel type of epistemic logic, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents. Such comparative assertions can express that a group has the potential to (collectively) know
Alexandru Baltag, Sonja Smets
doaj   +1 more source

Knowledge, Information and Surprise

tripleC: Communication, Capitalism & Critique, 2009
In this paper, I analyse the paradox called The surprise exam paradox or The unexpected hanging paradox. I study some interpretations of this paradox, like Quine and Ned Hall ones, and give my own view about its solution, making some approaches from ...
Margarita Vazquez
doaj  

EPISTEMIC FOUNDATIONS OF SOLUTION CONCEPTS IN GAME THEORY: AN INTRODUCTION [PDF]

We give an introduction to the literature on the epistemic foundations of solution concepts in game theory. Only normal-form games are considered. The solution concepts analyzed are rationalizability, strong rationalizability, correlated equilibrium and ...
Klaus Nehring, Giacomo Bonanno
core  

New Directions in Model Checking Dynamic Epistemic Logic [PDF]

, 2018
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, its existing implementations are based on explicit model checking which can only deal with small models, so we do not know how DEL performs
Gattinger, M. (Malvin), Gattinger, Malvin, Gattinger, M.   +2 more
core