Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
Australasian Journal of Logic 7:56-61 (2009)
| Abstract | The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture. | |||||||||
| Keywords | Translations Modal Logic | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRohan French (2009). A Simplified Embedding of E Into Monomodal K. Logic Journal of the IGPL 17 (4):421-428.
Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (3):387-420.
Beomin Kim (2008). The Translation of First Order Logic Into Modal Predicate Logic. Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Johan Van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory: II. Studia Logica 60 (3):387 - 420.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Lloyd Humberstone (2012). Minimally Congruential Contexts: Observations and Questions on Embedding E in K. Notre Dame Journal of Formal Logic 53 (4):581-598.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Richard Sylvan (1988). Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic? Philosophical Studies 53 (1):147 - 151.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
Robert Demolombe, Andreas Herzig & Ivan Varzinczak (2003). Regression in Modal Logic. Journal of Applied Non-Classical Logic 13 (2):165-185.
Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
Analytics
Monthly downloads |
Added to index2011-02-24Total downloads9 ( #114,063 of 549,080 )Recent downloads (6 months)1 ( #63,317 of 549,080 )How can I increase my downloads? |
My notes
Discussion
