Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 - Logical connective - Document - PDFSEARCH.IO

First Page	Meta Content
	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Document Date: 2011-02-15 14:21:03 Open Document File Size: 78,26 KB Share Result on Facebook City Montreal / London / / IndustryTerm proof systems / formal systems / modal systems / / Person John MacFarlane / Rod Girle / / ProgrammingLanguage L / / SocialTag Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic

Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1Add to Reading List