<--- Back to Details
First PageDocument Content
Branches of philosophy / Metalogic / Non-classical logic / Modal logic / Epistemic modal logic / Truth / Causality / Function / Rohit Jivanlal Parikh / Logic / Philosophy / Philosophical logic
Date: 2010-09-28 11:02:33
Branches of philosophy
Metalogic
Non-classical logic
Modal logic
Epistemic modal logic
Truth
Causality
Function
Rohit Jivanlal Parikh
Logic
Philosophy
Philosophical logic

Reasoning about Belief in Social Software using Modal Logic

Add to Reading List

Source URL: www.ronalddehaan.eu

Download Document from Source Website

File Size: 762,64 KB

Share Document on Facebook

Similar Documents

Economy / Corporate law / Business / Law / Democracy / Direct democracy / Elections / Power of attorney / Proxy voting / Board of directors / Corporate governance / State Street Global Advisors

Stewardship 2017 Year in Review Stewardship at a Glance Stewardship Philosophy and Objectives

DocID: 1xVGx - View Document

Computing / Software engineering / Software review / Program analysis / Software testing / Object-oriented programming languages / Static program analysis / Java / Android / Software quality / Computer programming / Memory leak

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

DocID: 1xVqM - View Document

Metaphysics / Cognitive science / Neuroscience / Computational neuroscience / Cognitive neuroscience / Philosophy of science / Emergence / Mind / Neurophilosophy / Theory / Neural network / Occam's razor

Towards a common philosophy of explanation for artificial and biological intelligence Jessica A Thompson () International Laboratory for Brain, Music and Sound (BRAMS) Montreal Institute for Learni

DocID: 1xVhT - View Document

Investing in ideas – a philosophy to diversify and lower risk Das Multi Asset Team von Invesco Perpetual in Henley zielt auf Portfoliodiversifikation durch Anlagen in langfristige Makro-Anlageideen, von denen es wirkli

DocID: 1xUPc - View Document

Cryptography / Cryptocurrencies / Alternative currencies / Bitcoin / Digital currencies / Public-key cryptography / Mihir Bellare / SUF / RSA

UNIVERSITY OF CALIFORNIA, SAN DIEGO Flexible Models for Secure Systems A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in

DocID: 1xUd9 - View Document