Sequential Calculus for a First Order Infinitary Temporal Logic
From MaRDI portal
Recommendations
Cited in
(38)- A constant-space sequential model of computation for first-order logic
- The saturated tableaux for linear miniscope Horn-like temporal logic
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
- Sequent systems for negative modalities
- Proof theory for functional modal logic
- An approach to infinitary temporal proof theory
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
- Invertible infinitary calculus without loop rules for restricted FTL
- scientific article; zbMATH DE number 1678382 (Why is no real title available?)
- scientific article; zbMATH DE number 1678387 (Why is no real title available?)
- scientific article; zbMATH DE number 1722647 (Why is no real title available?)
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
- VARIABLE TRUTH
- scientific article; zbMATH DE number 3860378 (Why is no real title available?)
- scientific article; zbMATH DE number 4210108 (Why is no real title available?)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- A decidable temporal relevant logic for time-dependent relevant human reasoning
- A note on infinitary continuous logic
- Temporal BI: proof system, semantics and translations
- scientific article; zbMATH DE number 3559517 (Why is no real title available?)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
- Temporal logics of “the next” do not have the beth property
- scientific article; zbMATH DE number 1292306 (Why is no real title available?)
- scientific article; zbMATH DE number 1337627 (Why is no real title available?)
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
- Temporal Gödel-Gentzen and Girard translations
- Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
- scientific article; zbMATH DE number 4197951 (Why is no real title available?)
- Embedding theorems for LTL and its variants
- Proof-theoretical investigation of temporal logic with time gaps
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Synchronized linear-time temporal logic
- A unified Gentzen-style framework for until-free LTL
- Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Cut-free sequent systems for temporal logic
- Combining linear-time temporal logic with constructiveness and paraconsistency
This page was built for publication: Sequential Calculus for a First Order Infinitary Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751561)
