Sequential Calculus for a First Order Infinitary Temporal Logic
From MaRDI portal
Publication:3751561
DOI10.1002/MALQ.19870330506zbMATH Open0611.03010OpenAlexW2170526408MaRDI QIDQ3751561FDOQ3751561
Authors: Hiroya Kawai 
Publication date: 1987
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19870330506
Recommendations
Cited In (32)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
- Synchronized linear-time temporal logic
- Title not available (Why is that?)
- Invertible infinitary calculus without loop rules for restricted FTL
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Temporal BI: proof system, semantics and translations
- Title not available (Why is that?)
- Proof theory for functional modal logic
- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Embedding theorems for LTL and its variants
- A note on infinitary continuous logic
- A constant-space sequential model of computation for first-order logic
- Title not available (Why is that?)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
- An approach to infinitary temporal proof theory
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
- VARIABLE TRUTH
- Cut-free sequent systems for temporal logic
- Title not available (Why is that?)
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
- Title not available (Why is that?)
- 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
- Sequent systems for negative modalities
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
- The saturated tableaux for linear miniscope Horn-like temporal logic
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
- Temporal Gödel‐Gentzen and Girard translations
- Temporal logics of “the next” do not have the beth property
- Title not available (Why is that?)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
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)
