Properties (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
logical formula
|
| gptkbp:associated_with |
quantified statements
|
| gptkbp:controversy |
philosophical discussions
logicians |
| gptkbp:designedBy |
gptkb:Ruth_Barcan_Marcus
|
| gptkbp:emphasizes |
relationship between quantification and modality
|
| gptkbp:evaluates |
modal arguments
|
| gptkbp:has_a |
converse_Barcan_formula
|
| gptkbp:has_implications_for |
identity and existence
|
| gptkbp:hasPrograms |
is often referenced in academic papers
has been subject to various interpretations is significant for the study of modal logic foundations is foundational for understanding modal logic systems has been critiqued by philosophers has implications for modal logic systems involves quantifiers and modal operators is foundational for understanding modal logic is important for modal theories is often analyzed in the context of modal realism is often critiqued in philosophical literature is often included in logic courses. is often included in logic syllabi is relevant to discussions of necessity is relevant to the study of possible worlds is significant for the philosophy of mathematics is significant in the context of modal logic is used in formal proofs is used to analyze modal propositions is used to explore the nature of existence is foundational for understanding quantification in modal contexts is often discussed in relation to logical paradoxes is often referenced in discussions of modal logic history is relevant to the study of identity in modal contexts is foundational for understanding the relationship between quantifiers and modalities is used in philosophical arguments about necessity and possibility is significant for the study of logical consequence is_discussed_in_relation_to_Kripke_semantics |
| https://www.w3.org/2000/01/rdf-schema#label |
Barcan formula
|
| gptkbp:includes |
modal logic textbooks
|
| gptkbp:is_a_subject_of |
academic research
formal semantics metamathematics the study of modal systems |
| gptkbp:is_essential_for |
the understanding of modality
|
| gptkbp:is_evaluated_by |
∀x◇P(x) → ◇∀xP(x)
|
| gptkbp:is_studied_in |
philosophical literature
the study of necessity and possibility |
| gptkbp:is_used_in |
philosophy of language
modal epistemology modal realism philosophical discussions on modality |
| gptkbp:legal_principle |
quantified modal logic
affects logical consequence |
| gptkbp:related_to |
existential quantification
theories of reference |
| gptkbp:relatedTo |
modal logic
|
| gptkbp:suitableFor |
possible worlds semantics
|