Solving the $100 modal logic challenge
β
Florian Rabe; Petr PudlΓ‘k; Geoff Sutcliffe; Weina Shen
π
Article
π
2009
π
Elsevier Science
π
English
β 296 KB