Tense logic

MaRDI QIDQ1243273zbMATH OpenFDO

Authors Robert P. McArthur

Publication date 1976

Published in Synthese Library (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cited in

(7)

• A note on the issue of cohesiveness in canonical models
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
• Logic and time
• Dynamic logic as a uniform framework for theorem proving in intensional logic
• Planning temporal events using point-interval logic
• scientific article; zbMATH DE number 3797730 (Why is no real title available?)
• Partial and paraconsistent approaches to future contingents in tense logic

This page was built for publication: Tense logic

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