Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics
In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the ex...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. ...
International audienceEpistemic logics are essential to the design of logical systems that capture e...
International audienceUnification in propositional logics is an active research area. In this paper,...
In this thesis, we shall investigate the unification problem in ordinary modal logics, fusions of tw...
ALT1 is the least modal logic containing the formula characterizing deterministic frames. The unific...
International audienceIn this paper, we show that every KD45-unifiable formula has a projective unif...
The unification problem in a logical system L can be defined in the following way: given a formula φ...
The unification problem in a normal modal logic is to determine, given a formula φ, whether there ex...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
International audienceWe introduce a semantics for epistemic logic exploiting a belief base abstract...
We show that the unification problem “is there a substitution instance of a given formula that is pr...
This paper shows, in the framework of the logical method,the unsolvability of $k$-set agreement task...
International audienceThe unification problem in a propositional logic is to determine, given a form...
In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the ex...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. ...
International audienceEpistemic logics are essential to the design of logical systems that capture e...
International audienceUnification in propositional logics is an active research area. In this paper,...
In this thesis, we shall investigate the unification problem in ordinary modal logics, fusions of tw...
ALT1 is the least modal logic containing the formula characterizing deterministic frames. The unific...
International audienceIn this paper, we show that every KD45-unifiable formula has a projective unif...
The unification problem in a logical system L can be defined in the following way: given a formula φ...
The unification problem in a normal modal logic is to determine, given a formula φ, whether there ex...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
International audienceWe introduce a semantics for epistemic logic exploiting a belief base abstract...
We show that the unification problem “is there a substitution instance of a given formula that is pr...
This paper shows, in the framework of the logical method,the unsolvability of $k$-set agreement task...
International audienceThe unification problem in a propositional logic is to determine, given a form...
In this paper we propose an algebraic model for a modal epistemic logic. Although it is known the ex...
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic...
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. ...
DOI
Add to ORKG