First-order classical modal logic

DOI10.1007/S11225-006-9010-0MaRDI QIDQ863182zbMATH OpenOpenAlexFDO

Authors 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 logicgeneral framesneighborhood semantics

Mathematics Subject Classification ID

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

Review text

This paper focuses on the study of neighbourhood semantics for first-order modal logic. The authors argue that relational semantics have some inadequacies for the study of systems in first-order modal logic which can be removed with the adoption of the so-called general ``first-order neighbourhood frames. These inadequacies can be summarized as follows: (i) the difficulties to study non-normal systems, (ii) the imposition of validity of both the Barcan formula and its converse which fail to be intuitively valid in many contexts, and (iii) the incompleteness of several systems without the Barcan formula. On the contrary, by means of neighbourhood semantics all these difficulties disappear. The results obtained in this paper show the advantages of this semantics. Remarkable are the strong completeness proof in terms of first-order models with constant domains for FOL+K and the general completeness proof covering the entire family of first-order classical modal logics.

Recommendations

• Neighborhood-sheaf semantics for first-order modal logic
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• scientific article; zbMATH DE number 2019849
• Quantified modal logic
• Neighborhood semantics for modal logic

Cites work

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

Cited in

(20)

• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• Quantification in some non-normal modal logics
• First-order modal logic
• Neighborhood-sheaf semantics for first-order modal logic
• Quantified modal logic
• Agency and Interaction What We Are and What We Do in Formal Epistemology
• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
• 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
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• The logic of risky knowledge, reprised
• Non-normal modalities in variants of linear logic
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
• First-order modal logic
• Non-normal Modal description logics
• Modal hyperdoctrine: higher-order and non-normal extensions
• A logic of knowledge and justifications, with an application to computational trust
• Neighbourhood and algebraic models for predicate modal logics with -rules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863182)