Add to ORKGISBN 978-1-84890-27International audienceIn this paper, we show that every KD45-unifiable formula has a projective unifier. As a corollary, we conclude that KD45 has unitary type for elementary unification
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
We characterize (both from a syntactic and an algebraic point of view) the normal $K4$-logics for wh...
Abstract. Projective unifiers were introduced by S. Ghilardi and suc-cessfuly applied in proposition...
In this paper, we show that every KD45-unifiable formula has a projective unifier. As a corollary, w...
Introduction : We prove that all extensions of K45 have projective unification and K5 and some of it...
International audienceThe unification problem in a propositional logic is to determine, given a form...
National audienceIn this talk, we will give a survey of the results on unification in modal logic an...
UNIF 2020, part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Univ...
International audienceIn a modal logic L, a unifier of a formula ϕ is a substitution σ such that σ(ϕ...
International audienceThe unification problem in a normal modal logic is to determine, given a formu...
We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. un...
International audienceIt is already known that unifiable formulas in normal modal logic K + Box Box ...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
International audienceWe prove that K5 and some of its extensions which do not contain K4 are of uni...
AiML 2022 est co-organisé avec le Workshop on Logical Aspects of Multi-Agent Systems and Strategic R...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
We characterize (both from a syntactic and an algebraic point of view) the normal $K4$-logics for wh...
Abstract. Projective unifiers were introduced by S. Ghilardi and suc-cessfuly applied in proposition...
In this paper, we show that every KD45-unifiable formula has a projective unifier. As a corollary, w...
Introduction : We prove that all extensions of K45 have projective unification and K5 and some of it...
International audienceThe unification problem in a propositional logic is to determine, given a form...
National audienceIn this talk, we will give a survey of the results on unification in modal logic an...
UNIF 2020, part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Univ...
International audienceIn a modal logic L, a unifier of a formula ϕ is a substitution σ such that σ(ϕ...
International audienceThe unification problem in a normal modal logic is to determine, given a formu...
We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. un...
International audienceIt is already known that unifiable formulas in normal modal logic K + Box Box ...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
International audienceWe prove that K5 and some of its extensions which do not contain K4 are of uni...
AiML 2022 est co-organisé avec le Workshop on Logical Aspects of Multi-Agent Systems and Strategic R...
International audienceThe problem of unification in a normal modal logic L can be defined as follows...
We characterize (both from a syntactic and an algebraic point of view) the normal $K4$-logics for wh...
Abstract. Projective unifiers were introduced by S. Ghilardi and suc-cessfuly applied in proposition...