Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of mu...
The name Generic Common Knowledge (GCK) was suggested by Artemov to cap-ture a state of a multi-agen...
International audienceWe introduce a semantics for epistemic logic exploiting a belief base abstract...
The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge...
The paper axiomatizes individual and common belief by means of modal propositional logic systems of ...
In this chapter we overview the main structures of epistemic and doxastic logic. We start by discuss...
In this paper a generalization of Kripke models is proposed for systemizing the study of the many d...
With the S5 multi-agent epistemic logic we consider the canonical maps from Krpke structures to know...
Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wide...
The paper investigates the relations between iterate and fixed-point accounts of common belief and c...
Intuitionistic epistemic logic is an active research field. However, so far no consensus has been r...
In order to capture the concept of common knowledge, various extensions of multi-modal epistemic log...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
In this paper, we study the logical relations between different notions of knowledge and belief by ...
International audienceWe introduce a new semantics for a logic of explicit and implicit beliefs base...
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of mu...
The name Generic Common Knowledge (GCK) was suggested by Artemov to cap-ture a state of a multi-agen...
International audienceWe introduce a semantics for epistemic logic exploiting a belief base abstract...
The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge...
The paper axiomatizes individual and common belief by means of modal propositional logic systems of ...
In this chapter we overview the main structures of epistemic and doxastic logic. We start by discuss...
In this paper a generalization of Kripke models is proposed for systemizing the study of the many d...
With the S5 multi-agent epistemic logic we consider the canonical maps from Krpke structures to know...
Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wide...
The paper investigates the relations between iterate and fixed-point accounts of common belief and c...
Intuitionistic epistemic logic is an active research field. However, so far no consensus has been r...
In order to capture the concept of common knowledge, various extensions of multi-modal epistemic log...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
In this paper, we study the logical relations between different notions of knowledge and belief by ...
International audienceWe introduce a new semantics for a logic of explicit and implicit beliefs base...
We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of mu...
The name Generic Common Knowledge (GCK) was suggested by Artemov to cap-ture a state of a multi-agen...
International audienceWe introduce a semantics for epistemic logic exploiting a belief base abstract...
DOI
Add to ORKG