Add to ORKGPRSPDL is a variant of PDL with parallel composition. In the Kripke models in which PRSPDL-formulas are evaluated, states have an internal structure. We devote this paper to the definability issue of several classes of frames by means of the language of PRSPDL and to the computability issue of PRSPDL-validity for various fragments of the PRSPDL-language and for various classes of PRSPDL-frames
Process logic (PL) is a language for reasoning about the behavior of a program during a computation,...
International audienceWe present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, whi...
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...
PRSPDL is a propositional dynamic logic with an operator for parallel compositions of programs. We f...
AbstractThis work extends Propositional Dynamic Logic (PDL) with parallel composition operator and f...
We devote this paper to the axiomatization/completeness of PRSPDL0 - a variant of iteration-free PDL...
PPDL det extends propositional dynamic logic (PDL) with parallel composition of programs. This new c...
AbstractIn this paper some propositional modal logics of programs are considered, based on the syste...
AbstractThis paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with lo...
International audiencePropositional dynamic logic is extended with a parallel program having a separ...
We extend dynamic logic of propositional assignments by adding an operator of parallel composition t...
We devote this paper to the axiomatization and the computability of PDLΔ0—a variant of iteration-fre...
Abstract. The propositional dynamic logic (PDL) is an adequate tool to write down programs. In a pre...
AbstractIt is proved that validity problems for two variants of propositional dynamic logic (PDL) co...
International audienceWe extend the propositional dynamic logic PDL of Fischer and Ladner with a res...
Process logic (PL) is a language for reasoning about the behavior of a program during a computation,...
International audienceWe present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, whi...
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...
PRSPDL is a propositional dynamic logic with an operator for parallel compositions of programs. We f...
AbstractThis work extends Propositional Dynamic Logic (PDL) with parallel composition operator and f...
We devote this paper to the axiomatization/completeness of PRSPDL0 - a variant of iteration-free PDL...
PPDL det extends propositional dynamic logic (PDL) with parallel composition of programs. This new c...
AbstractIn this paper some propositional modal logics of programs are considered, based on the syste...
AbstractThis paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with lo...
International audiencePropositional dynamic logic is extended with a parallel program having a separ...
We extend dynamic logic of propositional assignments by adding an operator of parallel composition t...
We devote this paper to the axiomatization and the computability of PDLΔ0—a variant of iteration-fre...
Abstract. The propositional dynamic logic (PDL) is an adequate tool to write down programs. In a pre...
AbstractIt is proved that validity problems for two variants of propositional dynamic logic (PDL) co...
International audienceWe extend the propositional dynamic logic PDL of Fischer and Ladner with a res...
Process logic (PL) is a language for reasoning about the behavior of a program during a computation,...
International audienceWe present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, whi...
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...