The Complexity of Reasoning with Boolean Modal Logics

From Tetherless World Wiki

Jump to: navigation, search
 The Complexity of Reasoning with Boolean Modal Logics
Has publishing details  pp. 329-348, 2000
Has title  The Complexity of Reasoning with Boolean Modal Logics
Has where published  Advances in Modal Logic
Has year  2000
Has author  Carsten Lutz +, Ulrike Sattler +
Has identifier  DBLP:conf/aiml/LutzS00 +
Categories  Proceeding Paper +

 

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