scientific article
From MaRDI portal
Publication:3344178
zbMATH Open0551.03011MaRDI QIDQ3344178
Publication date: 1984
Title of this publication is not available (Why is that?)
Related Items (8)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A note on the interpolation property in tense logic ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ In What Sense is J.N. Findlay the Founding Father of Tense-logic? ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ Termination of derivations for minimal tense logic ⋮ Some System of Predicate Tense Logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3344178)
