Preprint series

Evaluating the usability of Web pages

Dynamic logic for reasoning about actions and agents

Talking probabilities

A logical approach to the dynamics of commitments

Psychotherapy treatment decisions supported by SelectCare

Finality regained

Platform projections, compilers, interpreters and portabilit

Relating protocols for dynamic dispute with logics for defeasible argumentation

Platforms, specifications and decisions

Compositionality and model-theoretic interpretation

A geometric proof of confluence by decreasing diagrams

Negation and negative concord in romance

Uniform normalisation beyond orthogonality

Sturctural equations in language learning

On the ambiguation of polish notation

Proceedings of the fifth European workshop on reinforcement learning

Proof reflection in Coq

Analysis of the dynamics of reasoning using multiple representations

Relating structure and dynamics in organisation models

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

Modelling the dynamics of reasoning processes

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

A temporal-interacivist perspective on the dynamics of mental states

Simulation and analysis of controlled multi-representational reasoning processes

Context modification in action

Resoning about emotional agents

Process algebra with propositional signals

Notes on local reflection principles

Termination modulo equations by abstract commutation with an application to iteration

Generalizing hamming distance to finite sets

Correct transformation of rewrite systems for implementation purposes

Diagram techniques for confluence

Safety for bisimulation in monadic second-order logic

Equational axioms of test algebra

A bibliography of L.E.J. Brouwer

Brouwer and Fraenkel

1 A dececion support system for traffic light maintenance

Inference to the best explanation is coherent

Zermelo and the skolem paradox

Interpretability over peano arithmetic

Rules and arithmetics

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

Earman on underdetermination and empirical indistinguishability

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

Putman's model-theoretic argument reconstructed

Specification and validation of telecommunication services in ACP

The interpretability logic of all reasonable arithmetical theories

Process algebra with timing

Arguments for the continuity principle

Real time process algebra with time-dependent conditions

On the admissible rules of intuitionistic propositional logic

On the query complexity of finding a local maximum point

Operational conservativity with binding terms

Revisiting timing in process algebra

Modal matters in interpretability logics

Negative operations on proof and labels

Disambiguation filters for scannerless generalized LR Parsers

Het nieuwe adoptierecht in Belgie

Intelligent agents

On the induction svhema for decidable predicates

Reasoning about emotional agents

Some words on Word

The irreflexivity of Brouwer's philosophy

Why Husserl should have been a strong revisionist in mathematics