Skip to main content
SpringerLink
Log in

The Neighbourhood of S0.9 and S1

  • Conference paper
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4548))

Abstract

Considerable work has been undertaken on the neighbourhood semantics for S1 but little on S0.9. In this paper we use tableaux to represent the model-set / model-system neighbourhood semantics for both S1 and S0.9 and some other nearby systems. S0.9 is often seen as a more “natural” logic in the sequence: S0.5 to S0.9 to S2 to S3 than S1. This perception is discussed in terms of the interpretation of alternate worlds or model-sets.

The semantics for S1 herein resulted from discussions with Graham Priest and Jerry Seligman in 2000.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chellas, B.F., Segerberg, K.: Modal Logics in the Vicinity of S1. Notre Dame. Journal of Formal Logic 37(1), 1–24 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  2. Cresswell, M.J.: S1 is not so simple. In: Sinnott-Armstrong, W., Raffman, D., Asher, N. (eds.) Modality, Morality and Belief: Essays in Honour of Ruth Barcan Marcus, pp. 29–40. Cambridge University Press, Cambridge

    Google Scholar 

  3. Girle, R.A.: S1 ≠ S0.9. Notre Dame. Journal of Formal Logic XVI(3), 339–344 (1975)

    Article  MathSciNet  Google Scholar 

  4. Girle, Roderic, A.: Logical Fiction: Real vs. Ideal. In: Hing-Yan, L. (ed.) Pacific Rim International Conference on Artificial Intelligence, Singapore (November 22-27, 1998)

    Google Scholar 

  5. Girle, R.: Modal Logics and Philosophy, Acumen, London (2000)

    Google Scholar 

  6. Hintikka, J.J.K.: Modality and Quantification. Theoria 27, 119–128 (1961)

    Article  MathSciNet  Google Scholar 

  7. Hintikka, J.J.K.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  8. Lemmon, E.J.: Is there only one correct system of modal logic? Aristotelian Society Supplementary XXXIII, 23–40 (1959)

    Google Scholar 

  9. Scotch, P.K.: Remarks on the semantics of non-normal logics. Topoi 3, 85–90 (1984)

    Article  MathSciNet  Google Scholar 

  10. Sylvan, R.: Relational Semantics for all Lewis, Lemmon and Feys modal Logics, and most notably for systems between S0.3° and S1. The Journal of Non-classical Logic 6(99), 19–40 (1989)

    MathSciNet  Google Scholar 

  11. Chellas, Brian, F., Segerberg, Krister.: Modal Logics in the Vicinity of S1. Notre Dame. Journal of Formal Logic 37(1), 1–24 (1996)

    Google Scholar 

  12. Cresswell, Maxwell, J.: S1 is not so simple, Modality, Morality and Belief: Essays in Honour of Ruth Barcan Marcus, Sinnott-Armstrong, W., Raffman, D. Asher, N. (eds.) Cambridge University Press, Cambridge, pp. 29-40

    Google Scholar 

  13. Girle, Roderic, A.: S1 ≠ S0.9. Notre Dame. Journal of Formal Logic XVI (3), 339–344 (1975)

    Google Scholar 

  14. Girle, Roderic, A.: Logical Fiction: Real vs. Ideal, Pacific Rim International Conference on Artificial Intelligence, Hing-Yan, L. (ed.) Singapore, Nov 22-27 (1998)

    Google Scholar 

  15. Girle, Rod.: Modal Logics and Philosophy, Acumen, London (2000)

    Google Scholar 

  16. Hintikka, J.J.K.: Modality and Quantification. Theoria 27, 119–128 (1961)

    Google Scholar 

  17. Hintikka, J.J.K.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  18. Lemmon, E.J.: Is there only one correct system of modal logic? Aristotelian Society Supplementary XXXIII, 23–40 (1959)

    Google Scholar 

  19. Scotch, Peter, K.: Remarks on the semantics of non-normal logics. Topoi 3, 85–90 (1984)

    Google Scholar 

  20. Sylvan, Richard.: Relational Semantics for all Lewis, Lemmon and Feys modal Logics, and most notably for systems between S0.3∘ and S1. The. Journal of Non.-classical Logic 6(99), 19–40 (1989)

    Google Scholar 

  21. Chellas, Brian F. and Segerberg, Krister, Modal Logics in the Vicinity of S1, Notre Dame Journal of Formal Logic, vol. 37(1) pp. 1–24 (1996)

    Google Scholar 

  22. Cresswell, Maxwell J.: S1 is not so simple, Modality, Morality and Belief: Essays in Honour of Ruth Barcan Marcus, Eds. Walter Sinnott-Armstrong, Diana Raffman, and Nicholas Asher, Cambridge University Press, Cambridge, pp. 29-40.

    Google Scholar 

  23. Girle, Roderic A., S1 S0.9, Notre Dame Journal of Formal Logic, Vol. XVI, Number 3, pp. 339–344 (July 1975)

    Google Scholar 

  24. Girle, Roderic, A.: Logical Fiction: Real vs. Ideal, Pacific Rim. In: International Conference on Artificial Intelligence, Ed. Lee Hing-Yan, Singapore, (November 22-27, 1998)

    Google Scholar 

  25. Girle, Rod.: Modal Logics and Philosophy, Acumen, London, (2000)

    Google Scholar 

  26. Hintikka, J.J.K.: Modality and Quantification, Theoria, Vol. 27, pp. 119–128 (1961)

    Google Scholar 

  27. Hintikka, J.J.K.: Knowledge and Belief, Cornell University Press, Ithaca (1962)

    Google Scholar 

  28. Lemmon, E.J. 1959. “Is there only one correct system of modal logic?” Aristotelian Society Supplementary vol. XXXIII, 23-40

    Google Scholar 

  29. Scotch, Peter K.: Remarks on the semantics of non-normal logics, Topoi, vol. 3, pp. 85–90 (1984)

    Google Scholar 

  30. Sylvan, Richard.: Relational Semantics for all Lewis, Lemmon and Feys modal Logics, and most notably for systems between S0.3 and S1, The Journal of Non-classical Logic, Vol. 6(99), pp. 19–40 (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Department, University of Auckland, Auckland, New Zealand

    Roderic A. Girle

Authors
  1. Roderic A. Girle
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Nicola Olivetti

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Girle, R.A. (2007). The Neighbourhood of S0.9 and S1. In: Olivetti, N. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2007. Lecture Notes in Computer Science(), vol 4548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73099-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73099-6_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73098-9

  • Online ISBN: 978-3-540-73099-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation