The minimal system L_ 0'

DOI10.1305/NDJFL/1093634489MaRDI QIDQ689220zbMATH OpenOpenAlexFDO

Authors Xuegang Wang

Publication date 5 June 1994

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093634489

zbMATH Keywords

deductively closed setsmaximal consistent setssound and complete axiomatic systemtense logictense operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 698626
• Some System of Predicate Tense Logic
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Semantics of a lattice-valued tense propositional logic system

Cited in

(3)

• Completeness of minimal positional calculus
• scientific article; zbMATH DE number 698626 (Why is no real title available?)
• The system LD

This page was built for publication: The minimal system \(L_ 0'\)

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