A critique of Putnam's principle of the benefit of doubt von Douven, Igor

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Putnam's model-theoretic argument reconstructed von Douven, Igor

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Arguments for the continuity principle von Atten, Markus Sebastiaan Paul Rogier van, Dalen, Dirk van 1932-

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Process algebra with timing real time and discrete time von Baeten, Josephus C. M., Middelburg, Cornelis A.

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Earman on underdetermination and empirical indistinguishability von Douven, Igor

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

An overview of interpretability logic von Visser, Albert

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Verifying relay circuits using state machines von Eijck, P. H. J. van

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Q-algebras von Stebletsova, Vera, Venema, Yde

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Termination modulo equations by abstract commutation with an application to iteration von Fokkink, Willem J. 1965-, Zantema, Hans

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Correct transformation of rewrite systems for implementation purposes von Fokkink, Willem J. 1965-, Pol, Jaco C. van de

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Weakly associative relation algebras with polyadic composition operations von Stebletsova, Vera

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Isomorphisms of diagonalizable algebras von Shavrukov, Vladimir Y.

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Equational axioms of test algebra von Hollenberg, Marco J.

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

On automating process algebra proofs von Korver, Henri P., Sellink, Alex

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

A logic for signal inserted timed frames von Bergstra, Jan A. 1951-, Fokkink, Willem J. 1965-, Middelburg, Cornelis A.

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Operational semantics of term rewriting with priorities von Pol, Jaco C. van de

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Focus points and convergent process operators von Groote, Jan F., Springintveld, Jan

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

Contexts in dynamic predicate logic von Visser, Albert

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

On the completeness of the equations for the Kleene star in bisimulation von Fokkink, Willem J. 1965-

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”

A conservative look at term deduction systems with variable binding von Fokkink, Willem J. 1965-, Verhoef, Chris

“… Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series …”