A modal analysis of some principles of the provability logic of heyting arithmetic von Iemhoff, R.

“… Dep. of Philos., Utrecht Univ. …”

A calculus for sequential logic with 4 values von Bergstra, Jan A. 1951-

“… Dep. of Philos., Utrecht Univ. …”

Uniform interpolation, automata and the modal my-calculus von D'Agostino, Giovanna, Hollenberg, Marco J.

“… Dep. of Philos., Utrecht Univ. …”

Relational validity & dynamic predicate logic von Visser, Albert

“… Dep. of Philos., Utrecht Univ. …”

Platonisme, Philonisme en het begin van het christelijk denken von Runia, David T. 1951-

“… Dep. of Philos., Utrecht Univ. …”

Empiricist semantics and indeterminacies of reference von Douven, Igor

“… Dep. of Philos., Univ. of Utrecht …”

Prefinitely axiomatizable modal and intermediate logics von Kracht, Marcus

“… Dep. of Philos., Univ. of Utrecht …”

Ramsey's theorem and the pigeonhole principle in intuitionistic mathemathics von Veldman, Willem H., Bezem, Marc

“… Dep. of Philos., Univ. of Utrecht …”

Impredicative recursion terms depending on order types ; (extended abstract) von Bezem, Marc

“… Dep. of Philos., Univ. of Utrecht …”

I R some intuitionistic elementary equivalences von Dalen, Dirk van 1932-

“… Dep. of Philos., Univ. of Utrecht …”

Computations in fragments of intuitionistic propositional logic von Jong, Dick de, Hendriks, Lex, Renardel de Lavalette, Gerard R.

“… Dep. of Philos., Univ. of Utrecht …”

Gauß elimination as a term rewriting system von Rodenburg, P. H., Hoekzema, D. J.

“… Dep. of Philos., Univ. of Utrecht …”

Applications of constructive logic to sheaf constructions in toposes paper corresponding to the talk delivered at the Category Conference of Louvain-la-Neuve, summer 1987 von Vries, Fer-Jan de

“… Dep. of Philos., Univ. of Utrecht …”

Dynamics von Muskens, Reinhard, Benthem, Johan van 1949-, Visser, Albert

“… Dep. of Philos., Utrecht Univ. …”

Diagram techniques for confluence von Bezem, Marc, Klop, Jan Willem 1945-, Oostrom, Vincent van

“… Dep. of Philos., Utrecht Univ. …”

On the design of a correct freeness analysis for logic programs

“… Dep. of Philos., Utrecht Univ. …”

Wittgensteins "Lebensform": een terra incognita? von Eijzenga, Harmen

“… Dep. of Philos., Utrecht Univ. …”

Logic Group preprint series

“… Dep. of Philos., Univ. of Utrecht …”

Volltext

A note on global descriptivism and Putman's model-theoretic argument von Douven, Igor

“… Dep. of Philos., Univ. of Utrecht …”

As far as I know epistemic logic and uncertainty = Zover ik weet von Voorbraak, Frans

“… Dep. of Philos., Univ. of Utrecht …”