TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
A total of 31 records were found in 0.187 seconds
Natural Deduction System in Paraconsistent Setting: proof search for PCont
IICAI, 632-640, 2011
Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus
IICAI, 166-185, 2009
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
IICAI, 1253-1266, 2007
Automated First Order Natural Deduction
IICAI, 1292-1311, 2005