@inbook{bd5f85d1383d43dd9a86dd941defbef8,
title = "Appendix",
abstract = "This Appendix is addressed in particular to the readers who are also interested in “technical” logical details. It is organized as follows.",
keywords = "Becker{\textquoteright}s rules, Becker{\textquoteright}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{\textquoteright}s systems S3 and S2, Translation of intuitionistic logic in S3",
author = "Stefania Centrone and Pierluigi Minari",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2022",
doi = "10.1007/978-3-030-87548-0_5",
language = "English",
series = "Synthese Library",
publisher = "Springer Science and Business Media B.V.",
pages = "115--146",
booktitle = "Synthese Library",
}