![Model theory / Philosophical logic / Non-classical logic / Interpretation / S5 / Accessibility relation / Logical connective / Propositional calculus / Linear temporal logic / Logic / Mathematical logic / Modal logic Model theory / Philosophical logic / Non-classical logic / Interpretation / S5 / Accessibility relation / Logical connective / Propositional calculus / Linear temporal logic / Logic / Mathematical logic / Modal logic](https://www.pdfsearch.io/img/1fd080b1163b192d42e02d4435b07817.jpg)
| Document Date: 2011-02-15 14:21:03 Open Document File Size: 78,26 KBShare Result on Facebook
City Montreal / London / / IndustryTerm proof systems / formal systems / modal systems / / Person John MacFarlane / Rod Girle / / ProgrammingLanguage L / /
SocialTag |