Merging Frameworks for Interaction: DEL and ETL.

Johan van Benthem,Jelle Gerbrandy,Eric Pacuit

DOI: https://doi.org/10.1145/1324249.1324262

2007-01-01

Abstract:Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [5]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [13]), STIT (Belnap et al. [4]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up.