First order extensions of classical systems of modal logic. The role of the Barcan schemas
From MaRDI portal
Publication:1611252
DOI10.1023/A:1016339125161zbMath1009.03016MaRDI QIDQ1611252
Publication date: 21 August 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016339125161
03B45: Modal logic (including the logic of norms)
Related Items
Hypothetical revision and matter-of-fact supposition, Modelling phenomena and dynamic logic of phenomena, The Logic of Risky Knowledge, An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics, Deductive closure, Belief and probability: a general theory of probability cores, Non-adjunctive inference and classical modalities, First-order classical modal logic, Quantification in some non-normal modal logics, Conditionals and consequences, FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY, QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS