Tense logic
From MaRDI portal
Publication:1243273
zbMath0371.02013MaRDI QIDQ1243273
Publication date: 1976
Published in: Synthese Library (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)
Related Items
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics, Unnamed Item, A note on the issue of cohesiveness in canonical models, Partial and paraconsistent approaches to future contingents in tense logic, Planning temporal events using point-interval logic, Logic and time