General canonical models for graded normal logics (graded modalities IV)
Studia Logica 49 (2):241 - 252 (1990)
| Abstract | We prove the canonical models introduced in [D] do not exist for some graded normal logics with symmetric models, namelyKB°, KBD°, KBT°, so that we define a new kind of canonical models, the general ones, and show they exist and work well in every case. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesViorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Stéphane Demri & Ewa Orłowska (1999). Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae. Studia Logica 62 (2):177 - 200.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
M. Fattorosi-Barnaba & C. Cerrato (1988). Graded Modalities. III (the Completeness and Compactness of S40). Studia Logica 47 (2):99 - 110.
Tatsuya Shimura (1993). Kripke Completeness of Some Intermediate Predicate Logics with the Axiom of Constant Domain and a Variant of Canonical Formulas. Studia Logica 52 (1):23 - 40.
Nobu-Yuki Suzuki (1997). Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. Studia Logica 59 (2):249-269.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Francesco Caro (1988). Normal Predicative Logics with Graded Modalities. Studia Logica 47 (1):11 - 22.
Claudio Cerrato (1994). Decidability by Filtrations for Graded Normal Logics (Graded Modalities V). Studia Logica 53 (1):61 - 73.
Francesco Caro (1988). Graded Modalities, II (Canonical Models). Studia Logica 47 (1):1 - 10.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,085 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
