Timeline for Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2012 at 6:58 | answer | added | Kaveh | timeline score: 0 | |
| Jun 20, 2012 at 20:22 | comment | added | Andrés E. Caicedo | But you seem to have a more general notion of model (structure) in mind. You may then want to look into Algebraic Logic, en.wikipedia.org/wiki/Algebraic_logic and particularly into the topic of algebraic semantics. | |
| Jun 20, 2012 at 20:19 | comment | added | Andrés E. Caicedo | Not sure whether this is what you have in mind, but there is Abstract Model Theory, where one certainly considers classes that are not axiomatizable in first order logic (or in several versions of infinitary logic). The standard reference is "Model-theoretic logics", projecteuclid.org/… | |
| Jun 20, 2012 at 20:18 | answer | added | Andreas Blass | timeline score: 4 | |
| Jun 20, 2012 at 20:17 | answer | added | Ed Dean | timeline score: 3 | |
| Jun 20, 2012 at 19:16 | history | asked | xer | CC BY-SA 3.0 |