Linear temporal logic with until and next, logical consecutions

DOI10.1016/j.apal.2008.03.001zbMath1147.03008OpenAlexW2011674996MaRDI QIDQ947268

Vladimir Vladimirovich Rybakov

Publication date: 29 September 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.03.001

zbMATH Keywords

algorithmslogical consequenceKripke structureslinear temporal logicadmissible inference rulesadmissible consecutions

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (25)

Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Satisfiability problem in interval FP-logic ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Best unifiers in transitive modal logics ⋮ Unification in linear temporal logic LTL ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Decidability: theorems and admissible rules ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical equations and admissible rules of inference with parameters in modal provability logics
• Derivability of admissible rules
• Logic of transition systems
• On the admissible rules of intuitionistic propositional logic
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• A quick axiomatisation of LTL with past
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
• The complexity of propositional linear temporal logics
• Modal sequents and definability
• Using the Universal Modality: Gains and Questions
• Rules of inference with parameters for intuitionistic logic
• One hundred and two problems in mathematical logic
• Unification in intuitionistic logic
• On Finite Model Property for Admissible Rules
• Hereditarily structurally complete modal logics
• Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
• Logical consecutions in discrete linear temporal logic
• Admissible Rules of Modal Logics

This page was built for publication: Linear temporal logic with until and next, logical consecutions