Publication:2771498
From MaRDI portal
zbMath0991.03003MaRDI QIDQ2771498
Publication date: 17 February 2002
completeness; historical necessity; calculi; combining first-order modal and tense logics; first-order multimodal logic; first-order tense logic
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