scientific article; zbMATH DE number 3855066

zbMATH Open0538.03016MaRDI QIDQ3323923FDOQ3323923

Authors: Cezar A. Mortari 

Publication date: 1982

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

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

zbMATH Keywords

truthtense logictemporal logicnecessitytemporal modal logicalethic modalities

Mathematics Subject Classification ID

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

Cited In (14)

• Quantified temporal alethic boulesic doxastic logic
• Title not available (Why is that?)
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Title not available (Why is that?)
• Two temporal logics of contingency
• Title not available (Why is that?)
• On the choice of primitives in tense logic
• Title not available (Why is that?)
• The necessity of the past and modal-tense logic incompleteness
• Title not available (Why is that?)
• Completeness Theorems for Temporal Logics TΩ and □TΩ
• Temporal here and there
• A note on the logic of eventual permanence for linear time
• Title not available (Why is that?)

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)