Loop-free calculus for modal logicS4. I
β
Julius Andrikonis
π
Article
π
2012
π
Springer
π
English
β 166 KB