Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

DOI10.1093/LOGCOM/EXI025MaRDI QIDQ3374097zbMATH OpenOpenAlexFDO

Authors Vladimir 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

admissible rulesconsecutionsdecidabilityinference ruleslinear temporal logiclogical consequence

Mathematics Subject Classification ID

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

Recommendations

• Logical consecutions in discrete linear temporal logic
• Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
• Linear temporal logic -- from infinite to finite horizon
• Intuitionistic linear temporal logics
• Interval temporal logics over finite linear orders: the complete picture
• Linear temporal logic with until and next, logical consecutions
• On coarser interval temporal logics
• scientific article; zbMATH DE number 6287569
• Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
• scientific article; zbMATH DE number 6131597

Cited in

(13)

• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Inference in temporal next-time logic
• Inference rules in multi-agents' temporal logics
• Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Decidability: theorems and admissible rules
• Canonical rules
• scientific article; zbMATH DE number 7324611 (Why is no real title available?)
• Logical consecutions in discrete linear temporal logic
• 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

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

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