Publication:2771498

zbMath0991.03003MaRDI QIDQ2771498

Stefan Wölfl

Publication date: 17 February 2002

zbMATH Keywords

completeness; historical necessity; calculi; combining first-order modal and tense logics; first-order multimodal logic; first-order tense logic

Mathematics Subject Classification ID

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

03A05: Philosophical and critical aspects of logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B44: Temporal logic

Related Items

Fooling around with tenses, Propositional \(\text Q\)-logic