Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
From MaRDI portal
Publication:3374097
DOI10.1093/logcom/exi025zbMath1091.03002MaRDI QIDQ3374097
Vladimir Vladimirovich Rybakov
Publication date: 9 March 2006
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exi025
logical consequence; decidability; admissible rules; linear temporal logic; inference rules; consecutions
Related Items
Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements, 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, Linear temporal logic with until and next, logical consecutions, Inference Rules in Multi-agents’ Temporal Logics, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Decidability: theorems and admissible rules, Canonical rules