Recommendations
Cites work
- 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?)
- 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
- 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 Logic of Risky Knowledge
- The identity of individuals in a strict functional calculus of second order
- The inadequacy of the neighbourhood semantics for modal logic
- Two simple incomplete modal logics
- Unifying quantified modal logic
- Universal grammar
- What does a conditional knowledge base entail?
Cited in
(16)- First-order modal logic
- 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
- The logic of risky knowledge, reprised
- NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
- 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
- scientific article; zbMATH DE number 732978 (Why is no real title available?)
- Quantification in some non-normal modal logics
- First-order modal logic
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
- 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
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)
