Timeline for two different intermediate logics whose intersection is Int
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8 at 21:53 | comment | added | Emil Jeřábek | Even better, the disjunction property of Int implies that it is not the intersection of finitely many intermediate logics strictly containing Int (irrespective of whether they are tabular). | |
| Jan 8 at 21:19 | comment | added | Emil Jeřábek | No. Int is not complete w.r.t. a finite set of finite frames (aka tabular). | |
| Jan 8 at 21:11 | history | asked | 4869 | CC BY-SA 4.0 |