Normal predicative logics with graded modalities

Studia Logica 47:11 (1988)
  Copy   BIBTEX

Abstract

In this work we extend results from [4], [3] and [2] about propositional calculi with graded modalities to the predicative level. Our semantic is based on Kripke models with a single domain of interpretation for all the worlds. Therefore the axiomatic system will need a suitable generalization of the Barcan formula. We haven't considered semantics with world-relative domains because they don't present any new difficulties with respect to classical case. Our language will have, as in [1], constant and function symbols, but they will have a rigid interpretation. In this instance the terms will be considered "rigid designators", that is, their interpretations will be the same in all possible worlds. Nevertheless we will not consider languages with identity: in this way we avoid the problems of identity in modal contexts. On the other hand, we think that in that context would arise essentially the same problems which occur in classical predicative modal logic. Finally we will consider only denumerable languages because the extension to non denumerable ones isn't conceptually problematic.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantified Modal Logics: One Approach to Rule (Almost) them All!Eugenio Orlandelli - 2024 - Journal of Philosophical Logic 53 (4):959-996.
The Modality of Finite.Maurizio Fattorosi-Barnaba & Uliano Paolozzi Balestrini - 1999 - Mathematical Logic Quarterly 45 (4):471-480.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Quantified Modal Logic.Horacio Costa - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,412,176)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.
An Introduction to Modal Logic.G. D. Duthie - 1971 - Philosophical Quarterly 21 (82):85-85.
An Introduction to Modal Logic.[author unknown] - 1974 - Tijdschrift Voor Filosofie 36 (1):154-156.
Graded Modalities. I.M. Fattorosi-Barnaba & F. De Caro - 1985 - Studia Logica 44 (2):197-221.

Add more references