Back to Results
First PageMeta Content
Kripke semantics / Epistemic modal logic / First-order logic / Deontic logic / Temporal logic / Dynamic logic / Neighborhood semantics / Saul Kripke / Multimodal logic / Logic / Mathematical logic / Modal logic


Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail:
Add to Reading List

Document Date: 2012-08-24 16:10:09

Open Document

File Size: 63,12 KB

Share Result on Facebook

Company

Cambridge University Press / /

/

Facility

Hamburg Hall / Synthese Library / /

IndustryTerm

proof systems / normal systems / /

NaturalFeature

Mellon University Fall / /

Organization

Cambridge University / Carnegie Mellon University / /

Person

Brian Chellas / Richard Mendelsohn / Johan van Benthem / Melvin Fitting / Gregory Wheeler / /

URL

http /

SocialTag