The Method of Socratic Proofs for Normal Modal Propositional Logics
Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza (2007)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Proposition (Logic Questioning | |||||||||
| Categories | ||||||||||
| Call number | BC181.L47 2007 | |||||||||
| ISBN(s) | 9788323218111 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesDorota Leszczynska (2007). The Method of Socratic Proofs for Normal Modal Propositional Logics. Wydawn. Naukowe Uniwersytetu Im. Adama Mickiewicza.
Dorota Leszczyńska-Jasion (2008). The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4f, S4r, S4m and G. Studia Logica 89 (3):365 - 399.
Dorota Leszczyńska-Jasion (2009). A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S. Journal of Philosophical Logic 38 (2):151 - 177.
Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska (2005). Socratic Proofs and Paraconsistency: A Case Study. Studia Logica 80 (2-3):431 - 466.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Rohan French (2012). Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants. Notre Dame Journal of Formal Logic 53 (4):549-556.
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5-6):507 - 544.
Andrzej Wiśniewski (2004). Socratic Proofs. Journal of Philosophical Logic 33 (3):299-326.
Robert Goldblatt & Tomasz Kowalski (forthcoming). The Power of a Propositional Constant. Journal of Philosophical Logic:1-20.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Marta Bílková (2007). Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85 (1):1 - 31.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-07-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
