-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11ανά Indrzejczak, AndrzejΠίνακας περιεχομένων: “… Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics…”
Έκδοση 2010
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
12
-
13Πίνακας περιεχομένων: “… relations -- 6 Model Checking -- 7 Modal logics with transitive closure -- Bibliography -- Index.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
14ανά Caferra, Ricardo, 1945-Πίνακας περιεχομένων: “…Modal logics…”
Έκδοση 2011
Full Text via HEAL-Link
Ηλ. βιβλίο -
15Πίνακας περιεχομένων: “…Modal logic and standard logic -- The syntax of normal modal systems -- The semantics of normal…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
16ανά Poggiolesi, FrancescaΠίνακας περιεχομένων: “…PartI An overview of the sequent calcus -- PartII, Sequent caluli for modal logic -- Part III, Tree…”
Έκδοση 2011
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
17ανά Burgess, John P., 1948-Πίνακας περιεχομένων: “…Classical logic -- Temporal logic -- Modal logic -- Conditional logic -- Relevantistic logic…”
Έκδοση 2009
Βιβλίο -
18
-
19Έκδοση 2014Πίνακας περιεχομένων: “… -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
20Έκδοση 2019“…This paper surveys Ruth Marcus’ many contributions to modal logic and its interpretation, starting…”