Bounded linear-time temporal logic: a proof-theoretic investigation
type: Item
instance of: scholarly article
title: Bounded linear-time temporal logic: a proof-theoretic investigation
zbMATH Open document ID: 1241.03015
author: Norihiro Kamide
published in: Annals of Pure and Applied Logic
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6014273
zbMATH Keywords: temporal logic
zbMATH Keywords: modal logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: resolution
describes a project that uses: TRP++
MaRDI profile type: Publication
full work available at URL: j.apal.2011.12.002
OpenAlex ID: W2042951804
cites work: Nonclausal deduction in first-order temporal logic
cites work: A proof-theoretic investigation of a logic of positions
cites work: An approach to infinitary temporal proof theory
cites work: Q4215630
cites work: Q3338212
cites work: Q4938418
cites work: Q3838808
cites work: Monodic temporal resolution
cites work: The complexity of propositional linear temporal logics in simple cases
cites work: Temporal resolution using a breadth-first search algorithm
cites work: Q4385542
cites work: First-order logic with two variables and unary temporal logic
cites work: Q4012170
cites work: Clausal temporal resolution
cites work: Decidable fragments of first-order temporal logics
cites work: Q4939409
cites work: Quantized linear logic, involutive quantales and strong negation
cites work: Linear and affine logics with temporal, spatial and epistemic operators
cites work: Q5460163
cites work: Q5482597
cites work: Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
cites work: Combining linear-time temporal logic with constructiveness and paraconsistency
cites work: Sequential Calculus for a First Order Infinitary Temporal Logic
cites work: LAR: A logic of algorithmic reasoning
cites work: Computer Science Logic
cites work: Uniform proofs as a foundation for logic programming
cites work: AN NP-COMPLETE FRAGMENT OF LTL
cites work: Q4463936
cites work: Q3496314
cites work: Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
cites work: The complexity of propositional linear temporal logics
cites work: Q3327708
cites work: Concerning the semantic consequence relation in first-order temporal logic
cites work: Proof theory
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Q3741614
cites work: Q4219025
cites work: The logic of information structures
cites work: Tableaux for constructive concurrent dynamic logic
DOI: 10.1016/J.APAL.2011.12.002
description: scientific article; zbMATH DE number 6014273