First-order classical modal logic

DOI10.1007/s11225-006-9010-0zbMath1122.03011OpenAlexW1981707252MaRDI QIDQ863182

N. E. Zubov

Publication date: 25 January 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.544

zbMATH Keywords

first-order modal logicneighborhood semanticsgeneral frames

Mathematics Subject Classification ID

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

Related Items (10)

Non-normal modalities in variants of linear logic ⋮ Quantification in some non-normal modal logics ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ The logic of risky knowledge, reprised ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY ⋮ QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS ⋮ 2008 Winter Meeting of the Association for Symbolic Logic ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-adjunctive inference and classical modalities
• Unifying quantified modal logic
• Conditional probability and defeasible inference
• Modalities and intensional languages
• What does a conditional knowledge base entail?
• Finitely additive conditional probabilities, conglomerability and disintegrations
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Probabilistic reasoning under coherence in System P
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• Fine-grained opinion, probability, and the logic of full belief
• For the Sake of the Argument
• Probabilities over rich languages, testing and randomness
• Incompleteness results in Kripke semantics
• The inadequacy of the neighbourhood semantics for modal logic
• Two simple incomplete modal logics
• Normal monomodal logics can simulate all others
• A Modal Logic for Coalitional Power in Games
• A unified completeness theorem for quantified modal logics
• The Logic of Risky Knowledge
• The identity of individuals in a strict functional calculus of second order
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Universal grammar
• A Functional calculus of first order based on strict implication
• Bare possibilia

This page was built for publication: First-order classical modal logic