|Abstract||Recent years have witnessed impressive leaps forward in modelling the dynamics of inquiry. Diﬀerent models have been suggested to fathom various aspects of the reasoning processes relevant to inquiry; belief revision, dynamic epistemic and doxastic logics, stit-theory, logics of action, intention and doxastic voluntarism—in general, logics and formal models for – using an adequately covering term coined by Parikh – social software [Par02]. Many of these logics and formal frameworks rely on combining diﬀerent modal logics in the realization that inquiry incorporates a multiplicity of parameters including time, change, relevant alternatives, epistemological forcing and learning just to mention a few. The result: Multi-modal systems.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
M. E. Coniglio & W. A. Carnielli (2002). Transfers Between Logics and Their Applications. Studia Logica 72 (3):367-400.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66 (3):349-384.
Maarten Marx (2002). Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Studia Logica 72 (2):233-252.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Added to index2009-01-28
Total downloads8 ( #131,679 of 722,787 )
Recent downloads (6 months)0
How can I increase my downloads?