Skip to main content
SpringerLink
Log in

Graded modalities. I

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nεN) to be interpreted, in the usual kripkean semantics, as “there are more than n accessible worlds such that...”. We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. S. Boolos, The Unprovability of Consistency. An Essay in Modal Logic, Cambridge University Press, Cambridge 1978.

    Google Scholar 

  2. C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam 1973.

    Google Scholar 

  3. B. F. Chellas, Modal Logic. An Introduction, Cambridge University Press, Cambridge 1980.

    Google Scholar 

  4. D. M. Gabbay, Decidability results in non classical logics, Annals of Mathematical Logic 8 (1975), pp. 237–295.

    Google Scholar 

  5. L. F. Goble, Grades of modality, Logique et Analyse 13 (1970), pp. 323–334.

    Google Scholar 

  6. G. E. Hughes and M. J. Cresswell, An Introduction to Modal Logic Methuen and Co. Ltd., London 1968.

    Google Scholar 

  7. C. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam 1964.

    Google Scholar 

  8. M. O. Rabin, Decidability of second order theories and automata on infinite trees, Transactions of the American Mathematical Society 141 (1969), pp. 1–35.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Universitá di Roma, P. le a. Moro 5, Roma, Italy

    M. Fattorosi-Barnaba & F. De Caro

  2. v.F. De Roberto 15, Roma, Italy

    M. Fattorosi-Barnaba & F. De Caro

Authors
  1. M. Fattorosi-Barnaba
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. De Caro
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The authors are very indebted to the referee for Ms consideration and appreciation of their work.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fattorosi-Barnaba, M., De Caro, F. Graded modalities. I. Stud Logica 44, 197–221 (1985). https://doi.org/10.1007/BF00379767

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00379767

Keywords

Search

Navigation