An `almost classical' period-based tense logic

DOI10.1305/ndjfl/1093637939zbMath0682.03011OpenAlexW2028126951MaRDI QIDQ1823925

Michael J. White

Publication date: 1988

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093637939

zbMATH Keywords

classical negationtopological modelweak negationtemporal algebrasdenumerable linear Kripke modelsEuclidean 1-space modelhomogeneous negationlinear tense logic LinP-Bperiod based semanticsperiod based tense logic

Mathematics Subject Classification ID

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

Related Items (1)

Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies

This page was built for publication: An `almost classical' period-based tense logic