Skip to main content
SpringerLink
Log in
Book cover

JSAI International Symposium on Artificial Intelligence

JSAI-isAI 2013: New Frontiers in Artificial Intelligence pp 154–164Cite as

First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences

  • Conference paper
  • First Online:

  • 834 Accesses

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

Abstract

In this study, we define the neighborhood-sheaf semantics (NSS).

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

Notes

  1. 1.

    In this section, conditional logic is described along the lines of NSS for convenience in order to represent the semantics of conditional logic using NSS after this section.

  2. 2.

    For a category \(\mathcal{C}\), \(ob(\mathcal{C})\) means a set of all objects of \(\mathcal{C}\) and \(mor(\mathcal{C})\) means a set of all morphisms of \(\mathcal{C}\).

  3. 3.

    \(\bar{a}\) means \( ( a_1, \ldots , a_n )\).

References

  1. Arló-Costa, H., Pacuit, E.: First-order classical modal logic. Stud. Log. 84(2), 171–210 (2006)

    Article  MathSciNet  Google Scholar 

  2. Awodey, S., Kishida, K.: Topology and modality: the topological interpretation of first-order modal logic. Rev. Symbolic Log. 1, 146–166 (2008)

    MathSciNet  MATH  Google Scholar 

  3. Chellas, B.: Modal Logic : An Introduction. Cambridge University Press, Cambridge (1980)

    Book  Google Scholar 

  4. Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover Publications, Mineola (2006)

    MATH  Google Scholar 

  5. Kishida, K.: Neighborhood-sheaf semantics for first-order modal logic. Electron. Notes Theor. Comput. Sci. 278, 129–143 (2011)

    Article  MathSciNet  Google Scholar 

  6. Kripke, S.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83–94 (1963)

    MathSciNet  MATH  Google Scholar 

  7. Lewis, D.K.: Counterfactuals. Blackwell, Oxford (1973)

    MATH  Google Scholar 

  8. Lewis, D.K.: Counterfactuals and comparative possibility. Journal of Philosophical Logic 2 (1973).

    Google Scholar 

  9. Montague, R.: Universal grammar. Theoria 36(3), 373–398 (1970)

    Article  MathSciNet  Google Scholar 

  10. Priest, G.: An Introduction to Non-classical Logic: From If to Is. Cambridge Introductions to Philosophy, 2nd edn. Cambridge University Press, Cambridge (2008)

    Book  Google Scholar 

  11. Scott, D.: Advice on modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic: Some Recent Developments, pp. 143–173. Reidel, Dordrecht (1970)

    Chapter  Google Scholar 

  12. Stalnaker, R.: A Theory of Conditionals, in Studies in Logical Theory. American Philosophical Quanterly Monograph Series, vol. 2. Basil Blackwell, Oxford (1968)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ochanomizu University, Bunkyo, Japan

    Hanako Yamamoto & Daisuke Bekki

Authors
  1. Hanako Yamamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daisuke Bekki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hanako Yamamoto .

Editor information

Editors and Affiliations

  1. Seikei University, Musashino-shi, Tokyo, Japan

    Yukiko Nakano

  2. National Institute of Informatics Research Division, Tokyo, Japan

    Ken Satoh

  3. Ochanomizu University, Tokyo, Japan

    Daisuke Bekki

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Yamamoto, H., Bekki, D. (2014). First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences . In: Nakano, Y., Satoh, K., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2013. Lecture Notes in Computer Science(), vol 8417. Springer, Cham. https://doi.org/10.1007/978-3-319-10061-6_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-10061-6_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-10060-9

  • Online ISBN: 978-3-319-10061-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation