Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

Our aim is to adjust the method of Socratic proofs to propositional parts of normal modal logics: K, D, K4, T, KB, S4 and S5. We give a proof of soundness of the method. Journal Information Logique et ...