Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
p240246551
p240246551
http://data.bibliotheken.nl/id/thes/p240246551
A Sahlqvist theorem for distributive modal logic / Mai Gehrke, Hideo Nagahashi, Yde Venema
MacNeille completions and canonical extensions / Mai Gehrke, John Harding, Yde Venema
Duality / door M. Gehrke
author
Euclidean hierachy in modal logic / Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
A new proof of completeness of S4 with respect to the real line / Guram Bezhanishvili, Mai Gehrke
contributor
p240246551
http://data.bibliotheken.nl/id/thes/p240246551