Export 4 results:
Filters: Author is Holger Schlingloff  [Clear All Filters]
Jäger, G., Kretz, M., Studer, T.: Cut-free axiomatizations for stratified modal fixed point logic. In: Schlingloff, H. Proceedings of Methods for Modalities 4. pp. 125-143. Humboldt-Universität Berlin (2005).
Schlingloff, H., Heinle, W.: Relation Algebra and Modal Logics. In: Brink, C., Kahl, W., and Schmidt, G. Relational Methods in Computer Science. pp. 20-89. Springer (1998).