Pages that link to "Item:Q3751561"

The following pages link to Sequential Calculus for a First Order Infinitary Temporal Logic (Q3751561):

Displaying 31 items.

• Temporal BI: proof system, semantics and translations (Q391122) (← links)
• Synchronized linear-time temporal logic (Q647400) (← links)
• Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
• Cut-free sequent systems for temporal logic (Q941433) (← links)
• Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
• A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
• The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
• Sequent systems for negative modalities (Q1682296) (← links)
• Proof theory for functional modal logic (Q1708100) (← links)
• An approach to infinitary temporal proof theory (Q1762733) (← links)
• Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
• Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
• (Q2757840) (← links)
• (Q2778815) (← links)
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (Q2817945) (← links)
• Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic (Q3133194) (← links)
• VARIABLE TRUTH (Q3317087) (← links)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
• A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
• A note on infinitary continuous logic (Q3460523) (← links)
• (Q4132487) (← links)
• Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
• Temporal logics of “the next” do not have the beth property (Q4240680) (← links)
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364) (← links)
• Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
• Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
• (Q5202986) (← links)
• Embedding theorems for LTL and its variants (Q5740619) (← links)
• Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)