scientific article; zbMATH DE number 4112561

MaRDI QIDQ3835441zbMATHFDO

Authors Steven French, N. C. A. da Costa

Publication date 1989

zbMATH Keywords

tense logictemporal logicmodalitiespredicate logicstime variables

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4085608
• Times in tense logic
• Some System of Predicate Tense Logic
• scientific article; zbMATH DE number 1749195
• Algebraic approach to tense operators

Cited in

(8)

• scientific article; zbMATH DE number 4085608 (Why is no real title available?)
• Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
• Predicate metric tense logic for `now' and `then'
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• A temporal logic for sortals
• A Note on Chronological Logic
• A really temporal logic
• On some \(U,S\)-tense logics

This page was built for publication:

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