Publications

Export 50 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
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, 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.
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.
De Mey, Tim. 2002. Thought Experiments, Conceivability Arguments And Conceptual Blending. Odense Working Papers in Language and Communication 24: 143–156.
Urbaniak, Rafal. 2007. Time Travel And Conditional Logics. In Logica 2007 Yearbook, Logica 2007 Yearbook,.

Pages