Temporal logic with accessibility temporal relations generated by time states themselves
From MaRDI portal
Publication:779153
DOI10.33048/semi.2020.17.068zbMath1437.03081MaRDI 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
information; knowledge representation; decidability; temporal logic; satisfiability; computability; non-classical logics; deciding algorithms
Related Items
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