Publications

Export 50 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is T  [Clear All Filters]
Book Chapter (with title)
Batens, Diderik, and Joke Meheus. 2000. A Tableau Method For Inconsistency-Adaptive Logics Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. A Taxonomy Of C-Systems Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.
Batens, Diderik. 2009. Towards A Dialogic Interpretation Of Dynamic Proofs Cédric Dégremont, Keiff, Laurent, and Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman: 27–51.
Batens, Diderik. 2015. Two, Many, And Differently Many Arnold Koslow and Buchsbaum, Arthur. The Road to Universal Logic. Festschrift for the 50th Birthday of Jean-Yves Béziau II: 213–242.
Primiero, Giuseppe, and Bjørn Jespersen. 2009. Two Type-Theoretical Approaches To Privative Modification Kumiyo Nakakoji, Murakami, Yohei, and McCready, Eric. New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
Conference Paper
Urbaniak, Rafal. 2007. Time Travel And Conditional Logics. In Logica 2007 Yearbook, Logica 2007 Yearbook,.
De Langhe, Rogier. 2009. Trading Off Explanatory Virtues. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Erik Weber, Libert, Thierry, Marage, Pierre, and Van Paemel, Geert. {Koninklijke Vlaamse Academie van België.
Conference Proceedings
Carnielli, Walter A, and João Marcos. 2001. Tableau Systems For Logics Of Formal Inconsistency Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
Journal Article

Pages