Finite trees in tense logic

DOI10.1023/A:1026456817552zbMath0970.03024OpenAlexW1516885113MaRDI QIDQ1288959

Saverio Cittadini, Fabio Bellissima

Publication date: 15 October 2001

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

Full work available at URL: https://doi.org/10.1023/a:1026456817552

zbMATH Keywords

treesKripke modelsUS-logicsaxiomatizationmodal definabilitytense logicsmaximal logicse-frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

This page was built for publication: Finite trees in tense logic