<--- Back to Details
First PageDocument Content
Logic / Non-classical logic / Mathematical logic / Metaphysics / Philosophical logic / Artificial intelligence / Description logic / Information science / Model theory / Modal logic / First-order logic / Web Ontology Language
Date: 2016-07-22 17:55:15
Logic
Non-classical logic
Mathematical logic
Metaphysics
Philosophical logic
Artificial intelligence
Description logic
Information science
Model theory
Modal logic
First-order logic
Web Ontology Language

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Add to Reading List

Source URL: formal.iti.kit.edu

Download Document from Source Website

File Size: 303,69 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

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)

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

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)

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

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

DocID: 1u33u - View Document