Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
DOI10.1007/978-3-319-69917-2_11zbMATH Open1429.03074OpenAlexW2790996802MaRDI QIDQ5214739FDOQ5214739
Authors: Vladimir Rybakov 
Publication date: 5 February 2020
Published in: Larisa Maksimova on Implication, Interpolation, and Definability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-69917-2_11
Recommendations
- Non-transitive linear temporal logic and logical knowledge operations
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Logical consecutions in discrete linear temporal logic
admissible rulesknowledgelinear temporal logicadmissibility problemdeciding algorithmsnon-transitive timelogical knowledge operations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Linear temporal logic LTL: basis for admissible rules
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Title not available (Why is that?)
- One hundred and two problems in mathematical logic
- Temporal verification of reactive systems: response
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introducing Justification into Epistemic Logic
- Linear temporal logic with until and next, logical consecutions
- Justified common knowledge
- Logical consecutions in discrete linear temporal logic
- Refined common knowledge logics or logics of common information
- 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
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
- Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
- Title not available (Why is that?)
Cited In (10)
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Non-transitive linear temporal logic and logical knowledge operations
- Algebraic and logical characterizations of deterministic linear time classes
- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
- Linear temporal logic LTL: basis for admissible rules
- Branching time logics with multiagent temporal accessibility relations
- Temporal non-commutative logic: expressing time, resource, order and hierarchy
- Temporal logic with accessibility temporal relations generated by time states themselves
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
This page was built for publication: Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214739)
