Talks and Poster Presentations (with Proceedings-Entry):
B. Lellmann, D. Pattinson:
"Correspondence between modal Hilbert axioms and sequent rules with an application to S5";
Talk: Tableaux 2013,
Nancy;
2013-09-16
- 2013-09-19; in: "Proceedings of the Tableaux 13, LNCS 8123",
(2013),
219
- 233.