共 50 条
- [1] Global modal logics for multiagent systems: A logical fibering approach COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005, 2005, 3643 : 602 - 607
- [3] Multiagent Temporal Logics with Multivaluations Siberian Mathematical Journal, 2018, 59 : 710 - 720
- [6] Efficient Reasoning in Multiagent Epistemic Logics 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 498 - +
- [7] Multiagent Temporal Logics, Unification Problems, and Admissibilities Siberian Mathematical Journal, 2022, 63 : 769 - 776
- [10] Modal context restriction for multiagent BDI logics Artificial Intelligence Review, 2022, 55 : 3075 - 3151