The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
A Knowledge Based Semantics of Messages
Journal of Logic, Language and Information
Complete Axiomatizations for Reasoning about Knowledge and Time
SIAM Journal on Computing
Logics of communication and change
Information and Computation
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Decisions, Actions, and Games: A Logical Perspective
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Learning by Erasing in Dynamic Epistemic Logic
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Common knowledge in interaction structures
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
A runs-and-systems semantics for logics of announcements
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Hi-index | 0.00 |
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.