A Method of Generating Modal Logics Defi
β
Marek Nasieniewski; Andrzej Pietruszczak
π
Article
π
2010
π
Springer Netherlands
π
English
β 311 KB