Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

DOI10.1093/logcom/exi025zbMath1091.03002OpenAlexW2035351521MaRDI 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

zbMATH Keywords

logical consequencedecidabilityadmissible ruleslinear temporal logicinference rulesconsecutions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (9)

Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Unnamed Item ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ 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: theorems and admissible rules ⋮ Canonical rules

This page was built for publication: Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals