Temporal logic with accessibility temporal relations generated by time states themselves

DOI10.33048/semi.2020.17.068zbMath1437.03081OpenAlexW3115499460MaRDI QIDQ779153

Vladimir Vladimirovich Rybakov

Publication date: 21 July 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2020.17.068

zbMATH Keywords

informationknowledge representationdecidabilitytemporal logicsatisfiabilitycomputabilitynon-classical logicsdeciding algorithms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (2)

Satisfiability problem in interval FP-logic ⋮ Branching time logics with multiagent temporal accessibility relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Tense logic and time
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Linear temporal logic with until and next, logical consecutions
• Refined common knowledge logics or logics of common information
• Multiagent temporal logics with multivaluations
• Temporal multi-valued logic with lost worlds in the past
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Hierarchies of modal and temporal logics with reference pointers
• Branching time agents logics, satisfiability problem by rules in reduced form
• Inference rules in Nelson's logics, admissibility and weak admissibility
• Non-transitive linear temporal logic and logical knowledge operations
• Linear Temporal Logic LTL: Basis for Admissible Rules
• Writing out Unifiers in Linear Temporal Logic
• A Tableau Method for Checking Rule Admissibility in S4
• Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic
• Unification through projectivity
• 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
• Logical consecutions in discrete linear temporal logic
• Unification of concept terms in description logics

This page was built for publication: Temporal logic with accessibility temporal relations generated by time states themselves