Journal of Philosophical Logic 22 (6):607 - 636 (1993)
|Abstract||We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in c. Strong completeness of the normal c-logics is proved with respect to models in which all worlds are named. Every c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Maarten De Rijke (1992). The Modal Logic of Inequality. Journal of Symbolic Logic 57 (2):566 - 584.
Valentin Goranko (1994). Refutation Systems in Modal Logic. Studia Logica 53 (2):299 - 324.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
D. M. Gabbay & G. Malod (2002). Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11 (1):29-65.
Kathrin Gluer & Peter Pagin (2006). Proper Names and Relational Modality. Linguistics and Philosophy 29 (5):507 - 535.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Kathrin Glüer & Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3).
Ernst Zimmermann (2003). Elementary Definability and Completeness in General and Positive Modal Logic. Journal of Logic, Language and Information 12 (1):99-117.
Valentin Goranko (1996). Hierarchies of Modal and Temporal Logics with Reference Pointers. Journal of Logic, Language and Information 5 (1).
Added to index2009-01-28
Total downloads5 ( #160,171 of 548,969 )
Recent downloads (6 months)0
How can I increase my downloads?