Bilattice public announcement logic
Aktak:
Advances in Modal Logic
ISBN: 9781848901513
Argitalpen urtea: 2014
Alea: 10
Orrialdeak: 459-477
Mota: Biltzar ekarpena