Waaler, Arild

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

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

This list was generated on Fri Mar 29 12:04:30 2024 CET.
Provide Feedback