Halldén-completeness by gluing of Kripke frames
Notre Dame Journal of Formal Logic 24 (4):426-430 (1983)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesDmitrij Skvortsov (2005). On the Predicate Logic of Linear Kripke Frames and Some of its Extensions. Studia Logica 81 (2):261 - 282.
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
Ágnes Kurucz (2000). On Axiomatising Products of Kripke Frames. Journal of Symbolic Logic 65 (2):923-945.
Franco Montagna & Hiroakira Ono (2002). Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀. Studia Logica 71 (2):227-245.
Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
Wiesław Dziobiak (1981). Strong Completeness with Respect to Finite Kripke Models. Studia Logica 40 (3):249 - 252.
Dmitrij Skvortsov (2012). Kripke Sheaf Completeness of Some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle. Studia Logica 100 (1-2):361-383.
Marco Hollenberg (1998). Characterizations of Negative Definability in Modal Logic. Studia Logica 60 (3):357-386.
Dov M. Gabbay (1975). A Normal Logic That is Complete for Neighborhood Frames but Not for Kripke Frames. Theoria 41 (3):148-153.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
George F. Schumm (1993). Why Does Halldén-Completeness Matter? Theoria 59 (1-3):192-206.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,921 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
