A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

By Cerrito Serenella  

Journal of Automated Reasoning, Vol. 51, Iss. 2, 2013-08 ,pp. : 197-239

Springer Publishing Company

Access to resources Recommend Favorite

TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories

By Velev Miroslav N.   Bryant Randal E.  

International Journal of Embedded Systems, Vol. 1, Iss. 1-2, 2006-01 ,pp. : 134-149

Inderscience Publishers

Access to resources Recommend Favorite

Terminating Calculi for Propositional Dummett Logic with Subformula Property

By Fiorino Guido  

Journal of Automated Reasoning, Vol. 52, Iss. 1, 2014-01 ,pp. : 67-97

Springer Publishing Company

Access to resources Recommend Favorite

Disturbing Fuzzy Propositional Logic and its Operators

By Liu Xin  

Fuzzy Optimization and Decision Making, Vol. 5, Iss. 2, 2006-04 ,pp. : 163-175

Springer Publishing Company

Access to resources Recommend Favorite

On an optimal propositional proof system and the structure of easy subsets of TAUT

By Sadowski Z.  

Theoretical Computer Science, Vol. 288, Iss. 1, 2002-10 ,pp. : 181-193

Elsevier

Access to resources Recommend Favorite