Appendix

Stefania Centrone, Pierluigi Minari

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

This Appendix is addressed in particular to the readers who are also interested in “technical” logical details. It is organized as follows.

Original languageEnglish
Title of host publicationSynthese Library
PublisherSpringer Science and Business Media B.V.
Pages115-146
Number of pages32
DOIs
StatePublished - 2022
Externally publishedYes

Publication series

NameSynthese Library
Volume444
ISSN (Print)0166-6991
ISSN (Electronic)2542-8292

Keywords

  • Becker’s rules
  • Becker’s systems evaluated
  • Completeness theorems for S3 and S2
  • Filtration
  • Finite model property and decidability
  • Kripke-style semantics for S3 and S2
  • Lemmon-style axiomatizations of S3 and S2
  • Lewis’s systems S3 and S2
  • Translation of intuitionistic logic in S3

Cite this