Skip to main content
SpringerLink
Log in

Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic

  • Conference paper
  • First Online:
Diagrammatic Representation and Inference (Diagrams 2022)

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

Included in the following conference series:

Abstract

We present a graphical representation that allows us to easily determine if a certain modal function is or is not a polymorphism of a given relation. While doing so, we provide a comparison between two ways (a calculative and a diagrammatic one) to analyze a claim about the Sheferness criterion in the theory of clones of (S5) modal functions.

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 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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

References

  1. Batchelor, R.: Clone theory: Modal functions (2020). Unpublished manuscript

    Google Scholar 

  2. Demey, L., Smessaert, H.: Combinatorial bitstring semantics for arbitrary logical fragments. J. Phil. Logic 47(2), 325–363 (2017). https://doi.org/10.1007/s10992-017-9430-5

    Article  MathSciNet  MATH  Google Scholar 

  3. Falcão, P.: Aspectos da teoria de funções modais. Master’s thesis, University of São Paulo (2012). https://doi.org/10.11606/D.8.2012.tde-11042013-104549

  4. Falcão, P.: On pre-complete systems of modal functions. PhD thesis, University of São Paulo (2017). https://doi.org/10.11606/T.8.2019.tde-19122019-182332

  5. Falcão, P.: New representations of modal functions. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 271–278. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86062-2_28

    Chapter  Google Scholar 

  6. Lau, D.: Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-36023-9

    Book  MATH  Google Scholar 

  7. Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematics Studies, No. 5. Princeton University Press, Princeton (1941)

    Google Scholar 

  8. Ratsa, M.F.: On functional completeness in the modal logic S5. Investigations in Non-Classical Logics and Formal Systems, Moscow, Nauka, pp. 222–280 (1983). (in Russian)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. São Paulo, Brazil

    Pedro Falcão

Authors
  1. Pedro Falcão
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pedro Falcão .

Editor information

Editors and Affiliations

  1. CNRS, Ecole Normale Supérieure, Paris, France

    Valeria Giardino

  2. Lancaster University in Leipzig, Leipzig, Germany

    Sven Linker

  3. West Chester University, West Chester, PA, USA

    Richard Burns

  4. Universitá di Bologna, Bologna, Italy

    Francesco Bellucci

  5. Université Bourgogne Franche-Comté, Dijon, France

    Jean-Michel Boucheix

  6. Universidade Federal Fluminense, Niterói, Brazil

    Petrucio Viana

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Falcão, P. (2022). Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic. In: Giardino, V., Linker, S., Burns, R., Bellucci, F., Boucheix, JM., Viana, P. (eds) Diagrammatic Representation and Inference. Diagrams 2022. Lecture Notes in Computer Science(), vol 13462. Springer, Cham. https://doi.org/10.1007/978-3-031-15146-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-15146-0_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-15145-3

  • Online ISBN: 978-3-031-15146-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation