<--- Back to Details
First PageDocument Content
Mathematics / Logic in computer science / Philosophical logic / Non-classical logic / Kripke semantics / Modal μ-calculus / Combinatory logic / Temporal logic / Modal depth / Logic / Mathematical logic / Modal logic
Date: 2009-05-20 10:03:05
Mathematics
Logic in computer science
Philosophical logic
Non-classical logic
Kripke semantics
Modal μ-calculus
Combinatory logic
Temporal logic
Modal depth
Logic
Mathematical logic
Modal logic

Games and Modal Mu-Calculus Colin Stirling

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Download Document from Source Website

File Size: 219,72 KB

Share Document on Facebook

Similar Documents

Ten Philosophical Problems in Deontic Logic J¨ org Hansen1 , Gabriella Pigozzi2 and Leendert van der Torre2 1 2

DocID: 1voFt - View Document

From Worlds to Situations John Perry Journal of Philosophical Logic): This version is from The Problem of the Essential Indexical, 2nd edition (Stanford: CSLI Publications, 2000)

DocID: 1uYj2 - View Document

Version 3.0, Brief Remarks on Putnam and Realism in Mathematics* Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what form of realism is

DocID: 1uMVT - View Document

From Worlds to Situations John Perry Journal of Philosophical Logic): This version is from The Problem of the Essential Indexical, 2nd edition (Stanford: CSLI Publications, 2000)

DocID: 1uiv1 - View Document

Philosophical Perspectives, 8, Logic and Language, 1994 COMPOSITION AS IDENTITY Peter van Inwagen Syracuse University

DocID: 1u33u - View Document