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