Add to ORKGWe 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
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we...
AbstractIn this paper we define and study a propositional μ-calculus Lμ, which consists essentially ...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
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 ...
It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-cal...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we...
AbstractIn this paper we define and study a propositional μ-calculus Lμ, which consists essentially ...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
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 ...
It is well known that propositional Dynamic Logic (PDL) can be seen as a fragment of the modal μ-cal...
International audienceDisplay calculi are generalised sequent calculi which enjoy a `canonical' cut ...
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we...
AbstractIn this paper we define and study a propositional μ-calculus Lμ, which consists essentially ...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...