All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

From Tetherless World Wiki

Jump to: navigation, search
 All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete
Has publishing details  81(2):153-165, 2005
Has title  All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete
Has where published  Studia Logica
Has year  2005
Has author  Tadeusz Litak +, Frank Wolter +
Has identifier  DBLP:journals/sLogica/LitakW05 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools