A Logic for Closed-World Interaction.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Browse the full JELIA paper archive.