Login / Signup
Relativized Action Complement for Dynamic Logics.
Jan M. Broersen
Published in:
Advances in Modal Logic (2002)
Keyphrases
</>
expressive power
dynamic environments
modal logic
inference rules
real time
information systems
web services
case study
database systems