Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility

DOI10.1007/978-3-319-69917-2_11MaRDI QIDQ5214739zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

admissibility problemadmissible rulesdeciding algorithmsknowledgelinear temporal logiclogical knowledge operationsnon-transitive time

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

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

Cites work

• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• scientific article; zbMATH DE number 1810488 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1223729 (Why is no real title available?)
• scientific article; zbMATH DE number 1759385 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Linear temporal logic LTL: basis for admissible rules
• Linear temporal logic with until and next, logical consecutions
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Logical consecutions in discrete linear temporal logic
• Non-transitive linear temporal logic and logical knowledge operations
• One hundred and two problems in mathematical logic
• Refined common knowledge logics or logics of common information
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Temporal verification of reactive systems: response

Cited in

(10)

• Branching time logics with multiagent temporal accessibility relations
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Non-transitive linear temporal logic and logical knowledge operations
• Linear temporal logic LTL: basis for admissible rules
• Temporal non-commutative logic: expressing time, resource, order and hierarchy
• 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
• Algebraic and logical characterizations of deterministic linear time classes
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
• Temporal logic with accessibility temporal relations generated by time states themselves

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)