Bounded linear-time temporal logic: a proof-theoretic investigation

DOI10.1016/J.APAL.2011.12.002zbMATH Open1241.03015OpenAlexW2042951804MaRDI QIDQ764266FDOQ764266

Authors: Norihiro Kamide 

Publication date: 13 March 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.002

Recommendations

• Combining linear-time temporal logic with constructiveness and paraconsistency
• Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
• Publication:4938418
• The temporal logic of branching time
• scientific article; zbMATH DE number 1088203

zbMATH Keywords

resolutionmodal logictemporal logicsequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• The logic of information structures
• Temporal resolution using a breadth-first search algorithm
• The complexity of propositional linear temporal logics in simple cases
• Linear and affine logics with temporal, spatial and epistemic operators
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Clausal temporal resolution
• Quantized linear logic, involutive quantales and strong negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory
• Concerning the semantic consequence relation in first-order temporal logic
• Decidable fragments of first-order temporal logics
• Monodic temporal resolution
• Title not available (Why is that?)
• Nonclausal deduction in first-order temporal logic
• Title not available (Why is that?)
• Uniform proofs as a foundation for logic programming
• An approach to infinitary temporal proof theory
• Tableaux for constructive concurrent dynamic logic
• First-order logic with two variables and unary temporal logic
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Title not available (Why is that?)
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Title not available (Why is that?)
• Computer Science Logic
• AN NP-COMPLETE FRAGMENT OF LTL
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Title not available (Why is that?)
• LAR: A logic of algorithmic reasoning
• A proof-theoretic investigation of a logic of positions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• Title not available (Why is that?)

Cited In (10)

• Temporal BI: proof system, semantics and translations
• A bounded domain property for an expressive fragment of first-order linear temporal logic
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Title not available (Why is that?)
• A Paraconsistent Linear-time Temporal Logic
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Cyclic Proofs for Linear Temporal Logic
• A decidable temporal relevant logic for time-dependent relevant human reasoning
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Title not available (Why is that?)

Uses Software

• TRP++

This page was built for publication: Bounded linear-time temporal logic: a proof-theoretic investigation

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