First order extensions of classical systems of modal logic. The role of the Barcan schemas

DOI10.1023/A:1016339125161zbMath1009.03016OpenAlexW1570981990MaRDI QIDQ1611252

R. Smith

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

zbMATH Keywords

quantificationepistemic logicfirst-order modal logicBarcan formulaslogic of likelihood

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (12)

First-order classical modal logic ⋮ Deductive closure ⋮ Modelling phenomena and dynamic logic of phenomena ⋮ Quantification in some non-normal modal logics ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ Belief and probability: a general theory of probability cores ⋮ Conditionals and consequences ⋮ The Logic of Risky Knowledge ⋮ FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY ⋮ QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS ⋮ Hypothetical revision and matter-of-fact supposition ⋮ Non-adjunctive inference and classical modalities

This page was built for publication: First order extensions of classical systems of modal logic. The role of the Barcan schemas