Graduate studies at Western
Journal of Applied Logic 10 (1):92-114 (2012)
|Abstract||This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a type theory, in which we show the embedding of the modal operators into standard group knowledge operators.|
|Keywords||Modal Type Theory Trust|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Giuseppe Primiero (2012). A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions. Logique and Analyse 220:579-600.
Bence Nanay (2010). A Modal Theory of Function. Journal of Philosophy 107 (8):412-431.
Tijn Borghuis (1998). Modal Pure Type Systems. Journal of Logic, Language and Information 7 (3):265-296.
Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
Gonzalo E. Reyes & Marek W. Zawadowski (1993). Formal Systems for Modal Operators on Locales. Studia Logica 52 (4):595 - 613.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Marko Malink (2006). A Reconstruction of Aristotle's Modal Syllogistic. History and Philosophy of Logic 27 (2):95-141.
Achille Varzi (2001). Parts, Counterparts and Modal Occurents. Travaux de Logique 14 (1):151--71.
Bence Nanay (2011). Function, Modality, Mental Content. Journal of Mind and Behavior 32:84-87.
Takashi Yagisawa (2008). Modal Realism with Modal Tense 1. Australasian Journal of Philosophy 86 (2):309-327.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Added to index2012-01-07
Total downloads9 ( #122,461 of 738,054 )
Recent downloads (6 months)1 ( #61,269 of 738,054 )
How can I increase my downloads?