Introduces modal measurable logics and establishes their completeness via a modal extension of the Loomis-Sikorski theorem and restricted Jonsson-Tarski duality.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
For every countable compact K the isometry class of C(K) has its Borel complexity exactly determined, with a new characterization of L1-preduals isometric to such spaces and improved results on homeomorphism classes.
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
citing papers explorer
-
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
Introduces modal measurable logics and establishes their completeness via a modal extension of the Loomis-Sikorski theorem and restricted Jonsson-Tarski duality.