The minimal system \(L_ 0'\)

DOI10.1305/NDJFL/1093634489zbMath0788.03025OpenAlexW2007000600MaRDI QIDQ689220

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

tense logicsound and complete axiomatic systemtense operatorsdeductively closed setsmaximal consistent sets

Mathematics Subject Classification ID

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

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