DOI10.1305/ndjfl/1093870374zbMath0488.03011OpenAlexW2122406460MaRDI QIDQ1165836
B. Jack Copeland
Publication date: 1983 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1093870374
zbMATH Keywords
Jeffrey style tree formulation of Lemmon's minimal tense logic
Mathematics Subject Classification ID
Modal logic (including the logic of norms) (03B45)