Timeline for Axioms for modal logics based upon counterfactuals
Current License: CC BY-SA 4.0
27 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2023 at 6:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 11, 2022 at 5:08 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 13, 2022 at 4:08 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 15, 2022 at 4:06 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 16, 2021 at 3:09 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 18, 2021 at 3:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 20, 2021 at 2:44 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 21, 2020 at 2:05 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 23, 2020 at 1:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 25, 2020 at 1:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 27, 2019 at 3:30 | comment | added | user38026 | define 'rule' sorry i don't understand. do you mean rule as in ruler? | |
| Dec 27, 2019 at 1:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Aug 29, 2019 at 0:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| May 1, 2019 at 0:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jan 1, 2019 at 0:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 2, 2018 at 0:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 1, 2018 at 23:35 | comment | added | Frank Hubeny | I used arachnoid.com/latex to display in Mathjax and used the output for the edit. | |
| Nov 1, 2018 at 23:33 | history | edited | Frank Hubeny | CC BY-SA 4.0 |
reformatted latex with mathjax output from https://arachnoid.com/latex/
|
| Nov 1, 2018 at 23:00 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 2, 2018 at 22:01 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Jun 24, 2018 at 22:30 | comment | added | Frode Alfson Bjørdal | Those who want to scrutinise some of these matters may access a compiled text here: mathoverflow.net/questions/302877/… | |
| Jun 24, 2018 at 4:38 | answer | added | Greg S | timeline score: 1 | |
| Jun 22, 2018 at 18:06 | comment | added | Frode Alfson Bjørdal | @Greg S To prove a statement - as K - syntactically does not rely upon any particular semantics, but upon the axioms and rules of the system presupposed. | |
| Jun 22, 2018 at 18:04 | comment | added | Frode Alfson Bjørdal | @Schiphol Yes, unfortunately Philosophy SE does not offer the option to write in LaTex. Maybe I will translate this tomorrow. Nevertheless, those that know Latex may just copy my posting into a latex editor and so access a quite readable version. | |
| Jun 22, 2018 at 7:12 | comment | added | Greg S | Why should it be possible to prove K syntactically? It seems like proving it would depend on S5 semantics. | |
| Jun 21, 2018 at 11:40 | comment | added | Schiphol | Unfortunately, Philosophy SE doesn't render LaTeX. If you could translate that to unicode symbols it'd make for an easier read. | |
| Jun 20, 2018 at 18:55 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |