scientific article; zbMATH DE number 3855066

zbMATH Open0538.03016MaRDI QIDQ3323923FDOQ3323923

Authors Cezar A. Mortari 

Publication date 1982

zbMATH Keywords

truthtense logictemporal logicnecessitytemporal modal logicalethic modalities

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 515372
• Quantified temporal alethic-deontic logic
• Temporal alethic-deontic logic and semantic tableaux
• The temporal logic of branching time
• The necessity of the past and modal-tense logic incompleteness

Cited in

(14)

• A note on the logic of eventual permanence for linear time
• Completeness Theorems for Temporal Logics TΩ and □TΩ
• scientific article; zbMATH DE number 3877150 (Why is no real title available?)
• On the choice of primitives in tense logic
• Temporal here and there
• Quantified temporal alethic boulesic doxastic logic
• scientific article; zbMATH DE number 3922621 (Why is no real title available?)
• The necessity of the past and modal-tense logic incompleteness
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Two temporal logics of contingency
• scientific article; zbMATH DE number 1678355 (Why is no real title available?)
• scientific article; zbMATH DE number 3851048 (Why is no real title available?)
• scientific article; zbMATH DE number 515372 (Why is no real title available?)
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)

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 Q3323923)