 | Up a level |
Metcalfe, George; Olivetti, Nicola (2009). Proof Systems for a Gödel Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 265-279). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_20
Brünnler, Kai; Strassburger, Lutz (2009). Modular Sequent Systems for Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 152-166). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_12
