Input/Output Logics
β
David Makinson; Leendert van der Torre
π
Article
π
2000
π
Springer Netherlands
π
English
β 158 KB