Add to ORKGWe present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset ” operator defined on the intersection between epistemic and temporal relations. Additionally we show the logic has the finite model property, hence it is decidable
The paper presents an extension of temporal epistemic logic with operators that quantify over strate...
The report is a draft version of the first six chapters of a book which is attempting to supply a co...
We are investigating interval-based temporal extensions of terminological logics. These extensions a...
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset...
This paper presents various semantic interpretations for logics of knowledge and time with prefect r...
Indexed epistemic logics constitute a well-structured class of quantified epistemic logics with grea...
It is known that a theory in S5-epistemic logic with several agents may have numer-ous models. This ...
AbstractA temporal spatial epistemic intuitionistic linear logic (TSEILL) is introduced, and the com...
We study logical inference in terms of admissible consecutions (admissible inference rules) for the...
Abstract. Temporal logics of knowledge are useful for dealing with certain situations where the know...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
We propose a new class of spatial logics for concurrency, Dynamic Epis-temic Spatial Logics, to be u...
For convenience, “if…then… ” and “if and only if ” are usually abbreviated to ⇒ and ⇔, respectively....
For convenience, “if…then… ” and “if and only if ” are usually abbreviated to ⇒ and ⇔, respectively....
A new language for epistemic logic is introduced in which the epistemic operators are of the form | ...
The paper presents an extension of temporal epistemic logic with operators that quantify over strate...
The report is a draft version of the first six chapters of a book which is attempting to supply a co...
We are investigating interval-based temporal extensions of terminological logics. These extensions a...
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset...
This paper presents various semantic interpretations for logics of knowledge and time with prefect r...
Indexed epistemic logics constitute a well-structured class of quantified epistemic logics with grea...
It is known that a theory in S5-epistemic logic with several agents may have numer-ous models. This ...
AbstractA temporal spatial epistemic intuitionistic linear logic (TSEILL) is introduced, and the com...
We study logical inference in terms of admissible consecutions (admissible inference rules) for the...
Abstract. Temporal logics of knowledge are useful for dealing with certain situations where the know...
AbstractDescription logics (also called terminological logics, or concept languages) are fragments o...
We propose a new class of spatial logics for concurrency, Dynamic Epis-temic Spatial Logics, to be u...
For convenience, “if…then… ” and “if and only if ” are usually abbreviated to ⇒ and ⇔, respectively....
For convenience, “if…then… ” and “if and only if ” are usually abbreviated to ⇒ and ⇔, respectively....
A new language for epistemic logic is introduced in which the epistemic operators are of the form | ...
The paper presents an extension of temporal epistemic logic with operators that quantify over strate...
The report is a draft version of the first six chapters of a book which is attempting to supply a co...
We are investigating interval-based temporal extensions of terminological logics. These extensions a...