First-order classical modal logic

DOI10.1007/S11225-006-9010-0zbMATH Open1122.03011OpenAlexW1981707252MaRDI QIDQ863182FDOQ863182

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

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

zbMATH Keywords

general framesfirst-order modal logicneighborhood semantics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (16)

• FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
• The logic of risky knowledge, reprised
• Agency and Interaction What We Are and What We Do in Formal Epistemology
• Non-normal modalities in variants of linear logic
• Neighborhood-sheaf semantics for first-order modal logic
• Title not available (Why is that?)
• An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
• Quantification in some non-normal modal logics
• First-order modal logic
• QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS
• 2008 Winter Meeting of the Association for Symbolic Logic
• Quantified modal logic
• Non-normal Modal description logics
• First-order modal logic

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)