A completeness proof for an infinitary tense-logic
From MaRDI portal
Publication:4138711
DOI10.1111/j.1755-2567.1977.tb00778.xzbMath0364.02011OpenAlexW2152261758MaRDI QIDQ4138711
No author found.
Publication date: 1977
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1887/10570
Modal logic (including the logic of norms) (03B45) General logic (03B99) Categoricity and completeness of theories (03C35)
Related Items
A model existence theorem in infinitary propositional modal logic, A derivation-loop method for temporal logic, More efficient proof-search for sequents of temporal logic, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, A formal system for parallel programs in discrete time and space, Loop-type sequent calculi for temporal logic, Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas, Invertible infinitary calculus without loop rules for restricted FTL, Loop-check specification for a sequent calculus of temporal logic, Logics with Probability Operators
