Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Constructive Type-Theory

Outputs and Outcomes

Code

01P06108

Duration

01 October 2008 → 01 October 2009

Funding

Regional and community funding: Special Research Fund

Promotor

Joke Meheus

Research disciplines

Humanities and the arts
- Theory and methodology of philosophy

Keywords

constructive Type-Theory modal logic philosophy of information

Project description

I will use a modal constructive logical framework to model the relation between information and knowledge in reasoning procedures of the form: provided that informations x,y,z are verified, the collective of agents A has justified knowledge K. Such reasoning forms appear implicity in a number of everyday situations, being the basis of intelligent interactions and collective decision procedures.

English

Dutch

English

Cookie settings

In addition to functional cookies which are necessary for the website to function, Ghent University uses non-functional cookies such as statistical cookies and social media cookies. These non-functional cookies can also be placed by third parties, for example to measure the use of the site or to share content on social media. Certain media are only available if you accept the cookies. You can set and modify your cookie preferences yourself. Find out what cookies we use and why in the Cookie Statement.

Analytics

AnalyticsWe'll collect information about your visit to our site. It helps us understand how the site is used – what's working, what might be broken and what we should improve.

Powered by