First-Order Classical Modal Logic
β
Horacio ArlΓ³-Costa; Eric Pacuit
π
Article
π
2006
π
Springer Netherlands
π
English
β 377 KB