Intuitionistic autoepistemic logic
Studia Logica 59 (1):103-120 (1997)
| Abstract | In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGiambattista Amati & Fiora Pirri (1994). A Uniform Tableau Method for Intuitionistic Modal Logics I. Studia Logica 53 (1):29 - 60.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Juan Manuel Cornejo (2011). Semi-Intuitionistic Logic. Studia Logica 98 (1-2):9-25.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,368 of 549,090 )Recent downloads (6 months)1 ( #63,317 of 549,090 )How can I increase my downloads? |
My notes
Discussion
