Reasoning about Update Logic
Jan van Eijck and Fer-Jan de VriesVolume:
24
Language:
english
Journal:
Journal of Philosophical Logic
DOI:
10.2307/30226537
Date:
February, 1995
File:
PDF, 1.83 MB
english, 1995