Up a level |
Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain (1997). Relations between Propositional Normal Modal Logics: an Overview. Journal of logic and computation, 7(5), pp. 649-658. Oxford University Press 10.1093/logcom/7.5.649
Heuerding, Alain (1997). LWBtheory: Information about some propositional logics via the WWW. Logic Journal of IGPL, 5(1), pp. 169-174. Oxford University Press 10.1093/jigpal/5.1.169