Dorota Leszczynska-Jasion

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

1 EE Dorota Leszczynska-Jasion: The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. Studia Logica 89(3): 365-399 (2008)