We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...
It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-cal...
AbstractThis paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with lo...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which ...
International audienceIn the present article, we introduce a multi-type display calculus for dynamic...
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which ...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete,...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic fro...
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...
It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-cal...
AbstractThis paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with lo...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is c...
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which ...
International audienceIn the present article, we introduce a multi-type display calculus for dynamic...
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which ...
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support re...
We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete,...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic fro...
International audienceWe study a version of Propositional Dynamic Logic (PDL) that we call Dynamic L...
It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-cal...
AbstractThis paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with lo...
DOI
Add to ORKG