Branching time logics with multiagent temporal accessibility relations
From MaRDI portal
Publication:2030777
DOI10.1134/S0037446621030137zbMath1474.68341OpenAlexW3171308582MaRDI QIDQ2030777
Vladimir Vladimirovich Rybakov
Publication date: 7 June 2021
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0037446621030137
Logic in artificial intelligence (68T27) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Temporal logic with accessibility temporal relations generated by time states themselves
- Branching versus linear logics yet again
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Multiagent temporal logics with multivaluations
- Temporal multi-valued logic with lost worlds in the past
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Decision procedures and expressiveness in the temporal logic of branching time
- Branching time agents logics, satisfiability problem by rules in reduced form
- Non-transitive linear temporal logic and logical knowledge operations
- Linear Temporal Logic LTL: Basis for Admissible Rules
- Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility
- Logical consecutions in discrete linear temporal logic
This page was built for publication: Branching time logics with multiagent temporal accessibility relations
