Skip to ContentSkip to Navigation
Practical matters How to find us prof. dr. G.R. (Gerard) Renardel de Lavalette


Interpolation in propositional Horn logic

An agent-based dialogical model with fuzzy attitudes

Infinitary hybrid logic and the Lindelöf property

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics

Finite and infinite implementation of transition systems

Intuitionistic implication without disjunction

Belief Revision and Verisimilitude Based on Preference and Truth Orderings

A logic-based architecture for opinion dynamics

A dialogical logic-based simulation architecture for social agents and the emergence of extremist behaviour

Interpolation in computing science: the semantics of modularization

Read more