Modal Logic and the Two-Variable Fragment

From Tetherless World Wiki

Jump to: navigation, search
 Modal Logic and the Two-Variable Fragment
Has publishing details  pp. 247-261, 2001
Has title  Modal Logic and the Two-Variable Fragment
Has where published  CSL
Has year  2001
Has author  Carsten Lutz +, Ulrike Sattler +, Frank Wolter +
Has identifier  DBLP:conf/csl/LutzSW01 +
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