Intuitionistic predicate logic with the connective tomorrow

MaRDI QIDQ787958zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 1982

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

completenesscut-eliminationKripke modelunary connective

Mathematics Subject Classification ID

Intermediate logics (03B55)

Review text

Translation from Vestn. Mosk. Univ., Ser. I 1982, No.4, 19-22 (Russian) (1982; Zbl 0494.03017).

Cited in

(1)

• Axiomatising the Prior future in predicate logic

This page was built for publication: Intuitionistic predicate logic with the connective tomorrow

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