Publications

Export 1 results:
Filters: Author is Melvin Fitting  [Clear All Filters]
2015
Fitting, M., Kuznets, R.: Modal interpolation via nested sequents. Annals of pure and applied logic. 166, 274-305 (2015).