Tenses in Real Time

DOI10.1002/MALQ.19860320108zbMATH Open0569.03009OpenAlexW2161228279MaRDI QIDQ3686699

Johan van Benthem

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860320108

zbMATH Keywords

automorphismtense logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

This page was built for publication: Tenses in Real Time

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