Some System of Predicate Tense Logic

DOI10.1002/MALQ.19850313504MaRDI QIDQ3695255zbMATH OpenOpenAlexFDO

Authors Helmut Pfeiffer

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850313504

zbMATH Keywords

semanticscompletenessindividualspoints of timetwo-sorted predicate calculus

Mathematics Subject Classification ID

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

Recommendations

• Combinations of tense and modality for predicate logic
• scientific article; zbMATH DE number 724630
• scientific article; zbMATH DE number 4085608
• Properties of Tense Logics
• scientific article; zbMATH DE number 1486931
• Predicate metric tense logic for `now' and `then'
• scientific article; zbMATH DE number 757644
• An `almost classical' period-based tense logic
• scientific article; zbMATH DE number 3851048
• scientific article; zbMATH DE number 3877151

Cited in

(6)

• The minimal system \(L_ 0'\)
• scientific article; zbMATH DE number 698626 (Why is no real title available?)
• scientific article; zbMATH DE number 4085608 (Why is no real title available?)
• scientific article; zbMATH DE number 4112561 (Why is no real title available?)
• A simple dynamic logic
• A two dimensional tense-modal sortal logic

This page was built for publication: Some System of Predicate Tense Logic

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