Sciweavers

APAL
2010
113views more  APAL 2010»
14 years 18 days ago
Logic for update products and steps into the past
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
Joshua Sack