Temporal logic with accessibility temporal relations generated by time states themselves
From MaRDI portal
Publication:779153
DOI10.33048/SEMI.2020.17.068zbMATH Open1437.03081OpenAlexW3115499460MaRDI QIDQ779153FDOQ779153
Publication date: 21 July 2020
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.33048/semi.2020.17.068
Recommendations
informationdecidabilitynon-classical logicssatisfiabilitytemporal logicknowledge representationcomputabilitydeciding algorithms
Cites Work
- Linear Temporal Logic LTL: Basis for Admissible Rules
- Writing out Unifiers in Linear Temporal Logic
- Title not available (Why is that?)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Unification in intuitionistic logic
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- One hundred and two problems in mathematical logic
- Unification through projectivity
- Title not available (Why is that?)
- Hierarchies of modal and temporal logics with reference pointers
- Title not available (Why is that?)
- Unification of concept terms in description logics
- Linear temporal logic with until and next, logical consecutions
- Logical consecutions in discrete linear temporal logic
- A Tableau Method for Checking Rule Admissibility in S4
- 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
- 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 \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
- Tense logic and time
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
Cited In (2)
This page was built for publication: Temporal logic with accessibility temporal relations generated by time states themselves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q779153)
