Timeline for A question on the incompleteness of quantified K.2 and S4.2 with the Barcan formula
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 1, 2014 at 20:37 | history | suggested | Evgeny Zolin |
Added a modal logic tag
|
|
| Sep 1, 2014 at 20:22 | review | Suggested edits | |||
| S Sep 1, 2014 at 20:37 | |||||
| Mar 15, 2014 at 22:03 | comment | added | Frode Alfson Bjørdal | Thanks for that Emil. I tried my university library at UiO for that book, but the organization of the electronic academic library resources is regrettably not yet good enough. Meanwhile I have been looking at A General Semantics for Quantified Modal Logic Robert Goldblatt and Edwin D. Mares | |
| Mar 15, 2014 at 21:59 | comment | added | Emil Jeřábek | For (2), try Goldblatt’s book “Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics”. | |
| Mar 15, 2014 at 21:17 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |