A completeness proof for an infinitary tense-logic

DOI10.1111/J.1755-2567.1977.TB00778.XMaRDI QIDQ4138711zbMATH OpenOpenAlexFDO

Authors Göran Sundholm

Publication date 1977

Published in Theoria (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1887/10570

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99) Categoricity and completeness of theories (03C35)

Cited in

(13)

• A formal system for parallel programs in discrete time and space
• A model existence theorem in infinitary propositional modal logic
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Loop-check specification for a sequent calculus of temporal logic
• Loop-type sequent calculi for temporal logic
• Invertible infinitary calculus without loop rules for restricted FTL
• Logics with Probability Operators
• A derivation-loop method for temporal logic
• More efficient proof-search for sequents of temporal logic
• A variant of the lindenbaum lemma for infinitary closure systems
• Modal logics with intersection modality
• Global condition check strategy for a cyclic sequent calculus of temporal logic

This page was built for publication: A completeness proof for an infinitary tense-logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4138711)