Discrete linear future time without axioms
From MaRDI portal
Publication:1232279
DOI10.1007/BF02282489zbMath0343.02017WikidataQ114693586 ScholiaQ114693586MaRDI QIDQ1232279
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) General logic (03B99)
Related Items (2)
Cites Work
This page was built for publication: Discrete linear future time without axioms