Search: Zakharyaschev, Michael, 1997

2 results

Results

Authors Year Title Type Fulltext
Wolter, Frank
Zakharyaschev, Michael...
1997 On the relation between intuitionistic and classical modal logics Paper pdf
Suzuki, Yasuhito
Wolter, Frank
...
1997 Speaking about transitive frames in propositional languages Paper pdf