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 (19)
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
This page was built for publication: Ein erweiterter Klassenkalkül
