Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
Martin BergerKohei HondaNobuko YoshidaPublished in: ICALP (2) (2008)
Keyphrases
- modal logic
- decision procedures
- inference rules
- dynamic logic
- temporal logic
- nonmonotonic logics
- epistemic logic
- mobile phone
- lambda calculus
- default logic
- higher order
- classical logic
- high level
- mobile applications
- mobile devices
- situation calculus
- artificial intelligence
- logical framework
- model theoretic
- database systems