git @ Cat's Eye Technologies The-Glosscubator / d82346d
Add Modal Logic category and several books in it. Chris Pressey 11 months ago
8 changed file(s) with 95 addition(s) and 11 deletion(s). Raw diff Collapse all Expand all
+4
-0
Lisp/README.md less more
1010
1111 - - - -
1212
13 [The Standard Lisp Report](http://www.reduce-algebra.com/lisp-docs/)
14
1315 [clojure - What are the tasks of the "reader" during Lisp interpretation? - Stack Overflow](https://stackoverflow.com/questions/4537793/what-are-the-tasks-of-the-reader-during-lisp-interpretation)
1416
1517 ### Books
1820
1921 The Little Lisper (online @ [archive.org](https://archive.org/details/tlLISP))
2022
23 Lisp (online @ [archive.org](https://archive.org/details/lisp-1981-addison-wesley)) (borrow @ [archive.org](https://archive.org/details/lisp1989wins), [archive.org](https://archive.org/details/lispwins00wins))
24
2125 A Common Lisp Workbook (borrow @ [archive.org](https://archive.org/details/commonlispworkbo0000rile))
+1
-3
Logic/README.md less more
66 SPDX-License-Identifier: CC0-1.0
77 -->
88
9 _See also: [FoM](../FoM/), [Equational Logic](../Equational%20Logic/), [Algebraic Logic](../Algebraic%20Logic/), [Lambda Calculus](../Lambda%20Calculus/), [Incompleteness](../Incompleteness/)_
9 _See also: [Modal Logic](../Modal%20Logic/), [Equational Logic](../Equational%20Logic/), [Algebraic Logic](../Algebraic%20Logic/), [Lambda Calculus](../Lambda%20Calculus/), [FoM](../FoM/), [Incompleteness](../Incompleteness/)_
1010
1111 - - - -
1212
1717 [Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/natural-deduction/)
1818
1919 [Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-higher-order/)
20
21 [Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/)
2220
2321 [Provability Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-provability/)
2422
+0
-6
Logic/src/Webpages.md less more
2727 ### Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)
2828
2929 * url: https://plato.stanford.edu/entries/logic-higher-order/
30
31 .
32
33 ### Modal Logic (Stanford Encyclopedia of Philosophy)
34
35 * url: https://plato.stanford.edu/entries/logic-modal/
3630
3731 .
3832
+24
-0
Modal Logic/README.md less more
0 Modal Logic
1 -----------
2
3 <!--
4 SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
5
6 SPDX-License-Identifier: CC0-1.0
7 -->
8
9 _See also: [Logic](../Logic/)_
10
11 - - - -
12
13 [Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/)
14
15 ### Books
16
17 Introductory Modal Logic (borrow @ [archive.org](https://archive.org/details/introductorymoda00kony))
18
19 First Steps in Modal Logic (borrow @ [archive.org](https://archive.org/details/firststepsinmoda0000popk))
20
21 Dynamic Logic (borrow @ [archive.org](https://archive.org/details/dynamiclogicfoun00davi_0))
22
23 Modal Logic for Open Minds (borrow @ [archive.org](https://archive.org/details/modallogicforope0000bent))
+43
-0
Modal Logic/src/Books.md less more
0 Modal Logic Books
1 =================
2
3 <!--
4 SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
5
6 SPDX-License-Identifier: CC0-1.0
7 -->
8
9 ### Introductory Modal Logic
10
11 * author: Kenneth Konyndyck
12 * date: 1986
13 * borrow @ [archive.org](https://archive.org/details/introductorymoda00kony)
14
15 A good introduction to classical modal logic, including extending a natural deduction
16 proof system with rules to handle modalities, and some philosophy.
17
18 ### First Steps in Modal Logic
19
20 * author: Sally Popkorn
21 * date: 1994
22 * borrow @ [archive.org](https://archive.org/details/firststepsinmoda0000popk)
23
24 Concentrates on semantics (not proof systems) and multi-modal logics (corresponding
25 to state transition systems).
26
27 ### Dynamic Logic
28
29 * author: David Harel, Dexter Kozen, Jerzy Tiuryn
30 * date: 2000
31 * borrow @ [archive.org](https://archive.org/details/dynamiclogicfoun00davi_0)
32
33 Dynamic logic is a kind of modal logic. Inside this book there is a good exposition on equational logic as well.
34
35 ### Modal Logic for Open Minds
36
37 * author: Johan Van Benthem
38 * date: 2010
39 * borrow @ [archive.org](https://archive.org/details/modallogicforope0000bent)
40
41 I found it a bit tough to get through. It's clearly a collection of lecture notes
42 (having the same somewhat choppy style as Kozen's "Automata and Computability").
+14
-0
Modal Logic/src/Webpages.md less more
0 Modal Logic
1 ===========
2
3 <!--
4 SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
5
6 SPDX-License-Identifier: CC0-1.0
7 -->
8
9 ### Modal Logic (Stanford Encyclopedia of Philosophy)
10
11 * url: https://plato.stanford.edu/entries/logic-modal/
12
13 .
+1
-1
Programming Languages/README.md less more
66 SPDX-License-Identifier: CC0-1.0
77 -->
88
9 _See also: [BASIC](../BASIC/), [Dafny](../Dafny/), [Haskell](../Haskell/), [JavaScript](../JavaScript/), [Lua](../Lua/), [Pascal](../Pascal/), [Prolog](../Prolog/), [PLDI](../PLDI/)_
9 _See also: [BASIC](../BASIC/), [Dafny](../Dafny/), [Haskell](../Haskell/), [JavaScript](../JavaScript/), [Lisp](../Lisp/), [Lua](../Lua/), [Pascal](../Pascal/), [Prolog](../Prolog/), [PLDI](../PLDI/)_
1010
1111 - - - -
1212
+8
-1
TOPICS.md less more
429429 ### Logic
430430
431431 * used-in: books, bookmarks
432 * see-also: FoM, Equational Logic, Algebraic Logic, Lambda Calculus, Incompleteness
432 * see-also: Modal Logic, Equational Logic, Algebraic Logic, Lambda Calculus, FoM, Incompleteness
433433
434434 Works regarding the subject of logic, that is, the study of systems that allow
435435 deductions to be made, from some given positions, to obtain some further positions;
467467
468468 * used-in: bookmarks
469469 * see-also: Relational Programming
470
471 .
472
473 ### Modal Logic
474
475 * used-in: bookmarks
476 * see-also: Logic
470477
471478 .
472479