Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility-Reference-Cited by-同舟云学术

Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility

Published:2018 Issue: Volume: Page:219-243
ISSN:2211-2758
Container-title:Larisa Maksimova on Implication, Interpolation, and Definability
language:
Short-container-title:

Author:

Rybakov Vladimir V.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-69917-2_11

Reference33 articles.

1. Artemov, S. (2006). Justified common knowledge. Theoretical Computer Science, 357, 4–22.

2. Artemov, S., & Nogina, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15, 1059–1073.

3. Babenyshev, S., & Rybakov, V. (2011). Linear temporal logic LTL: Basis for admissible rules. Journal of Logic and Computation, 21, 157–177.

4. Balbiani, P., & Vakarelov, D. (2002). A modal logic for indiscernibility and complementarity in information systems. Fundamenta Informaticae, 50, 243–263.

5. Belardinelli, F., & Lomuscio, A. (2012). Interactions between knowledge and time in a first-order logic for multi-agent systems: Completeness results. Journal of Artificial Intelligence Research, 45, 1–45.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge;Journal of Siberian Federal University. Mathematics & Physics;2022-01

2. Branching Time Logics with Multiagent Temporal Accessibility Relations;Siberian Mathematical Journal;2021-05

3. Temporal logic with overlap temporal relations generated by time states themselves;Sibirskie Elektronnye Matematicheskie Izvestiya;2020-07-09

4. Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem;Algebra and Logic;2020-03