The sequent systems and algebraic semantics of intuitionistic tense logics

From MaRDI portal
Publication:2291233