Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Applied logic series;H. Barringer,1999
2. Lecture Notes in Computer Science;R. Bloem,1999
3. Bruns, G., Godefroid, P.: Temporal Logic Query-Checking. In: Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001), Boston, MA, USA, June 2001, pp. 409–417. IEEE Computer Society, Los Alamitos (2001)
4. Lecture Notes in Computer Science;E. Clarke,1994
5. Lecture Notes in Computer Science;C. David,1994
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporal Logic in Multi-agent Environment;Agents and Multi-Agent Systems: Technologies and Applications 2022;2022
2. Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations;Lobachevskii Journal of Mathematics;2020-02
3. Multiagent Temporal Logics with Multivaluations;Siberian Mathematical Journal;2018-07
4. The complexity of admissible rules of Lukasiewicz logic;Journal of Logic and Computation;2012-04-12
5. Chance Discovery and Unification in Linear Modal Logic;Knowlege-Based and Intelligent Information and Engineering Systems;2011