Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals

DOI10.1093/LOGCOM/EXI025zbMATH Open1091.03002OpenAlexW2035351521MaRDI QIDQ3374097FDOQ3374097

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

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

zbMATH Keywords

admissible rulesdecidabilitylinear temporal logicinference ruleslogical consequenceconsecutions

Mathematics Subject Classification ID

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

Cited In (13)

• Linear temporal logic with until and next, logical consecutions
• Decidability: theorems and admissible rules
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Title not available (Why is that?)
• Inference in temporal next-time logic
• Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
• Logical consecutions in discrete linear temporal logic
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Inference rules in multi-agents' temporal logics
• 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
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Canonical rules

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)