Rules admissible in transitive temporal logic T_S4, sufficient condition

DOI10.1016/J.TCS.2010.09.012zbMATH Open1209.03011OpenAlexW2082356974MaRDI QIDQ606997FDOQ606997

Authors: Vladimir Rybakov 

Publication date: 19 November 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.09.012

Recommendations

• Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
• Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics
• scientific article; zbMATH DE number 3959387
• A tableau method for checking rule admissibility in S4
• Logical consecutions in discrete linear temporal logic

zbMATH Keywords

admissible rulestemporal logicinference rules

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

• Proof theory for admissible rules
• Best solving modal equations
• On the admissible rules of intuitionistic propositional logic
• Title not available (Why is that?)
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Unification in intuitionistic logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Undecidability of the unification and admissibility problems for modal and description logics
• Admissible Rules of Modal Logics
• Complexity of admissible rules
• Bases of admissible rules of the logics S4 and Int
• Construction of an explicit basis for rules admissible in modal system S4
• Title not available (Why is that?)
• Rules of inference with parameters for intuitionistic logic
• One hundred and two problems in mathematical logic
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Derivability of admissible rules
• Title not available (Why is that?)
• Propositional temporal logics: decidability and completeness
• Title not available (Why is that?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Title not available (Why is that?)
• Linear temporal logic with until and next, logical consecutions
• Mathematical modal logic: A view of its evolution
• The computational complexity of hybrid temporal logics
• On Finite Model Property for Admissible Rules
• Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
• Filtering unification and most general unifiers in modal logic
• Equations in free topoboolean algebra
• Title not available (Why is that?)
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Admissible and derivable rules in intuitionistic logic
• Title not available (Why is that?)
• Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
• Logical consecutions in discrete linear temporal logic
• An algebraic study of tense logics with linear time
• Note on a paper in tense logic
• Logical equations and admissible rules of inference with parameters in modal provability logics
• All finitely axiomatizable tense logics of linear time flows are coNP-complete
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms

Cited In (6)

• Inference rules in Nelson's logics, admissibility and weak admissibility
• On rules
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Title not available (Why is that?)
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Tutorial on admissible rules in Gudauri

This page was built for publication: Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q606997)