Preprint series

Process algebra with propositional signals

Notes on local reflection principles

Correct transformation of rewrite systems for implementation purposes

Diagram techniques for confluence

Generalizing hamming distance to finite sets

Safety for bisimulation in monadic second-order logic

Termination modulo equations by abstract commutation with an application to iteration

1 A dececion support system for traffic light maintenance

A bibliography of L.E.J. Brouwer

A critique of putman's principle of the benefit of doubt

A geometric proof of confluence by decreasing diagrams

A logical approach to the dynamics of commitments

A note on global descriptivism and Putman's model-theoretic argument

A temporal modelling environment for internally grounded beliefs, desires and intentions

A temporal-interacivist perspective on the dynamics of mental states

Analysis of the dynamics of reasoning using multiple representations

Arguments for the continuity principle

Brouwer and Fraenkel

Compositionality and model-theoretic interpretation

Context modification in action

Disambiguation filters for scannerless generalized LR Parsers

Dynamic logic for reasoning about actions and agents

Earman on underdetermination and empirical indistinguishability

Equational axioms of test algebra

Evaluating the usability of Web pages

Finality regained

Het nieuwe adoptierecht in Belgie

Inference to the best explanation is coherent

Intelligent agents

Interpretability over peano arithmetic

Modal matters in interpretability logics

Modelling the dynamics of reasoning processes

Negation and negative concord in romance

Negative operations on proof and labels

On the admissible rules of intuitionistic propositional logic

On the ambiguation of polish notation

On the induction svhema for decidable predicates

On the query complexity of finding a local maximum point

Operational conservativity with binding terms

Platform projections, compilers, interpreters and portabilit

Platforms, specifications and decisions

Proceedings of the fifth European workshop on reinforcement learning

Process algebra with timing

Proof reflection in Coq

Psychotherapy treatment decisions supported by SelectCare

Putman's model-theoretic argument reconstructed

Real time process algebra with time-dependent conditions

Reasoning about emotional agents

Relating protocols for dynamic dispute with logics for defeasible argumentation

Relating structure and dynamics in organisation models

Resoning about emotional agents

Revisiting timing in process algebra

Rules and arithmetics

Simulation and analysis of controlled multi-representational reasoning processes

Some words on Word

Specification and validation of telecommunication services in ACP

Sturctural equations in language learning

Talking probabilities

Temporal analysis of the dynamics of beliefs, desires, and intentions

The interpretability logic of all reasonable arithmetical theories

The irreflexivity of Brouwer's philosophy

Uniform normalisation beyond orthogonality

Why Husserl should have been a strong revisionist in mathematics

Zermelo and the skolem paradox