# Publications

Export 296 results:
1998
: Logics Workbench 1.0. In: de Swart, H.C.M. Proceedings of Tableaux '98. pp. 35-37. Springer (1998).
: Relation Algebra and Modal Logics. In: Relational Methods in Computer Science. pp. 20-89. Springer (1998).
: The $μ$ quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. Archive for Mathematical Logic. 37, 391-413 (1998).
1997
: Hybrid spectral transform diagrams. In: Proceedings of the International Conference on Information and Communications Security. pp. 251-255. Springer (1997).
: Model checking. In: Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).
Strahm, T.: Polynomial time operations in explicit mathematics. The Journal of Symbolic Logic. 62, 575-594 (1997).
Jäger, G.: Power types in explicit mathematics?. The Journal of Symbolic Logic. 62, 1142-1146 (1997).
: Relations between propositional normal modal logics: an overview. Journal of Logic and Computation. 7, 649-658 (1997).
Jäger, G.: Some proof theory of first order logic programming. In: Schwichtenberg, H. Logic of Computation. pp. 201-228. Springer (1997).
1996
: A logics workbench. The European Journal on Artificial Intelligence. 9, 53-58 (1996).
: Efficient loop-check for backward proof search in some non-classical propositional logics. In: Proceedings of Tableaux '96. pp. 210-225. Springer (1996).
Heuerding, A.: LWBtheory: information about some propositional logics via the WWW. Journal of the Interest Group in Pure and Applied Logic. 4, 196-174 (1996).
: On the modal logic K plus theories. In: Büning, H.K. Proceedings of Computer Science Logic '95. pp. 308-319. Springer (1996).
Strahm, T.: Partial applicative theories and explicit substitutions. Journal of Logic and Computation. 6, 55-77 (1996).
: Some theories with positive induction of ordinal strength $\varphi \omega 0$. The Journal of Symbolic Logic. 61, 818-842 (1996).
: Systems of explicit mathematics with non-constructive $μ$-operator and join. Annals of Pure and Applied Logic. 82, 193-219 (1996).