The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

From Tetherless World Wiki

Jump to: navigation, search
 The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
Has publishing details  59(3):345-358, 1997
Has title  The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
Has where published  Studia Logica
Has year  1997
Has author  Michael Zakharyaschev +
Has identifier  DBLP:journals/sLogica/Zakharyaschev97 +
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