scientific article; zbMATH DE number 4112561

zbMATH Open0679.03003MaRDI QIDQ3835441FDOQ3835441

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

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

tense logictemporal logicmodalitiespredicate logicstime variables

Mathematics Subject Classification ID

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

Cited In (8)

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

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)