Infinitary propositional normal modal logic
Studia Logica 46 (4):291 - 309 (1987)
| Abstract | A logic with normal modal operators and countable infinite conjunctions and disjunctions is introduced. A Hilbert's style axiomatization is proved complete for this logic, as well as for countable sublogics and subtheories. It is also shown that the logic has the interpolation property. | |||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesVeikko Rantala (1982). Quantified Modal Logic: Non-Normal Worlds and Propositional Attitudes. Studia Logica 41 (1):41 - 65.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
George Gargov & Valentin Goranko (1993). Modal Logic with Names. Journal of Philosophical Logic 22 (6):607 - 636.
Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Michael Zakharyaschev (1997). The Greatest Extension of S4 Into Which Intuitionistic Logic is Embeddable. Studia Logica 59 (3):345-358.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,198 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
