An essay in modal logic
From MaRDI portal
Publication:2649308
zbMath0043.00701MaRDI QIDQ2649308
Publication date: 1951
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items
Von Wright's relative Modalitäten, Rosenkranz's logic of justification and unprovability, About probability-like measures for entire theories, The elimination of De Re modalities, Logic and social cognition. The facts matter, and so do computational models, Preferences in artificial intelligence, A Logic of Knowing How, \textit{De re} language, \textit{de re} eliminability, and the essential limits of both, The elimination of \textit{de re} formulas, What is strict implication?, The logic of obligation and the obligations of the logician, A Logic of Knowledge and Belief Based on Abstract Arguments, The English Tenses, Blanché and the Logical Kite, Tableaux for the Logic of Strategically Knowing How, To know or not to know: Epistemic approaches to security protocol verification, Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs, New foundations for Lewis modal systems, Independent axiom schemata for von wright's M, Tableau-based decision procedure for logic of knowing-how via simple plans, The Logic of Justification, Modalities in Ackermann's “rigorous implication”, Dynamic term-modal logics for first-order epistemic planning, Mathematical modal logic: A view of its evolution, Justification Logic, A logic of goal-directed knowing how, Reasoning about permitted announcements, Beyond Knowing That: A New Generation of Epistemic Logics, Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees, A dynamic solution to the problem of logical omniscience, A sketch of a dynamic epistemic semiring, What will they say? -- Public announcement games, Tracking Evidence, The pure calculus of entailment, A note on deduction theorem for Gödel's propositional calculus G4, De re modality and the new essentialism: a dilemma, Free quantified epistemic logics, Logical-epistemic foundations of general game descriptions, Quelques remarques sur les `tableaux de Beth', Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\), Preference logic and theory choice, Achieving While Maintaining:, Unnamed Item, Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M, On 'de dicto' modalities in quantified S5, European Summer Meeting of the Association for Symbolic Logic, Algebraic semantics for modal logics I, Extensional interpretations of modal logics, Basic modal logic, Fuzzy autoepistemic logic and its relation to fuzzy answer set programming, The genesis of possible worlds semantics
