A Hypersequent Calculus for the System S5

2010 ◽  
pp. 175-186
Author(s):  
Francesca Poggiolesi
Sign in / Sign up

Export Citation Format

Share Document