First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas
| Abstract | Horacio Arlo-Costa. First Order Extensions of Classical Systems of Modal Logic: The Role of Barcan Schemas | |||||||||
| 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 |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHoracio Arló Costa (2002). First Order Extensions of Classical Systems of Modal Logic; the Role of the Barcan Schemas. Studia Logica 71 (1):87-118.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Horacio Arló-Costa & Eric Pacuit (2006). First-Order Classical Modal Logic. Studia Logica 84 (2):171 - 210.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Timothy Williamson (2010). Barcan Formulas in Second-Order Modal Logic. In Themes From Barcan Marcus. Ontos Verlag.
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Giangiacomo Gerla & Virginia Vaccaro (1984). Modal Logic and Model Theory. Studia Logica 43 (3):203 - 216.
Dominique Luzeaux, Jean Sallantin & Christopher Dartnell (2008). Logical Extensions of Aristotle's Square. Logica Universalis 2 (1).
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Timothy Williamson (forthcoming). Objects, Properties and Contingent Existence. In W. K. Essler (ed.), Themes from Barcan Marcus.
Analytics
Monthly downloads |
Added to index2010-09-14Total downloads12 ( #93,408 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
