✦ LIBER ✦

The logic of historical necessity as founded on two-dimensional modal tense logic

✍ Scribed by Lennart Åqvist

Book ID: 111534499
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 265 KB
Volume: 28
Category: Article
ISSN: 0022-3611
DOI: 10.1023/a:1004425728816

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combinations of tense and deontic modali

Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

✍ Lennart Åqvist 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalitie

Two additional remarks on the logic of h

Two additional remarks on the logic of historical explanation

✍ Sten Sparre Nilson 📂 Article 📅 1974 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 350 KB

On the size of refutation Kripke models

On the size of refutation Kripke models for some linear modal and tense logics

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

On the Proof-Theory of two Formalisation

On the Proof-Theory of two Formalisations of Modal First-Order Logic

✍ Yehuda Schwartz; George Tourlakis 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 332 KB

New approach based on fuzzy logic and pr

New approach based on fuzzy logic and principal component analysis for the classification of two-dimensional maps in health and disease: Application to lymphomas

✍ Emilio Marengo; Elisa Robotti; Pier Giorgio Righetti; Francesca Antonucci 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 1003 KB