Pages that link to "Item:Q1611252"
From MaRDI portal
The following pages link to First order extensions of classical systems of modal logic. The role of the Barcan schemas (Q1611252):
Displayed 12 items.
- Deductive closure (Q382987) (← links)
- Belief and probability: a general theory of probability cores (Q432962) (← links)
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- First-order classical modal logic (Q863182) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Conditionals and consequences (Q2475433) (← links)
- FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY (Q3580678) (← links)
- QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS (Q3580684) (← links)
- Hypothetical revision and matter-of-fact supposition (Q4443398) (← links)
- Modelling phenomena and dynamic logic of phenomena (Q4583147) (← links)
- The Logic of Risky Knowledge (Q4916213) (← links)
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics (Q6094145) (← links)