Articles

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

B. HILL, F. Poggiolesi

Studia Logica

2010, vol. 94, n°1, pp.1-26

Départements : Economie et Sciences de la décision, GREGHEC (CNRS)



JavaScriptSettings