A Possible Modal Formulation of Comprehension Scheme

DOI10.1002/MALQ.19870330511zbMATH Open0644.03027OpenAlexW2142679550MaRDI QIDQ3786476FDOQ3786476

Authors: Jan Krajíček 

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330511

Recommendations

• Modal Interpretation of Formal Concept Analysis for Incomplete Representations
• scientific article; zbMATH DE number 140385
• Modal property comprehension
• scientific article; zbMATH DE number 500943
• A modal view of the semantics of theoretical sentences
• On modal logic interpretation of possibility theory
• A modal logic of intentional communication
• Modal Matters for Interpretability Logics
• scientific article; zbMATH DE number 2090753
• scientific article; zbMATH DE number 611095

zbMATH Keywords

modal logicPeano arithmeticcomprehension schemeRussell's paradoxset theory MST

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Cited In (4)

• Bi-modal naive set theory
• CAN MODALITIES SAVE NAIVE SET THEORY?
• On Evans's vague object from set theoretic viewpoint
• Title not available (Why is that?)

This page was built for publication: A Possible Modal Formulation of Comprehension Scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786476)