Ein erweiterter Klassenkalkül
From MaRDI portal
Publication:4753173
DOI10.1007/BF01708856zbMath0007.09803OpenAlexW22110506MaRDI QIDQ4753173
Publication date: 1933
Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01708856
Related Items
A note on S5, Meredith, Prior, and the history of possible worlds semantics, Relative necessity, Finite Kripke models and predicate logics of provability, The power of the hexagon, The representations of S5, The deducibilities of S5, A proof-theoretic study of the correspondence of classical logic and modal logic, Decidable fragments of first-order modal logics, Proof of L-decidability of Lewis system S5, Discussive sentential calculuc of Jaskowski, Wajsberg normal forms for S5, Modal functions in two-valued logic, Modalities in the Survey system of strict implication, Results concerning the decision problem of Lewis's calculi S3 and S6, New axiomatizations of S3 and S4, Propositional calculus for contradictory deductive systems, European Summer Meeting of the Association for Symbolic Logic, The genesis of possible worlds semantics
