Discrete linear future time without axioms

DOI10.1007/BF02282489zbMath0343.02017WikidataQ114693586 ScholiaQ114693586MaRDI QIDQ1232279

Krister Segerberg

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (2)

The modal logic of continuous functions on Cantor space ⋮ Dynamic topological logic

Cites Work

• Unnamed Item

This page was built for publication: Discrete linear future time without axioms