The following pages link to An essay in modal logic (Q2649308):
Displaying 50 items.
- Preferences in artificial intelligence (Q314443) (← links)
- The logic of obligation and the obligations of the logician (Q395583) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- De re modality and the new essentialism: a dilemma (Q558420) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Rosenkranz's logic of justification and unprovability (Q830400) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- A note on deduction theorem for Gödel's propositional calculus G4 (Q1217692) (← links)
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both (Q1366763) (← links)
- The elimination of \textit{de re} formulas (Q1368754) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- A dynamic solution to the problem of logical omniscience (Q2000671) (← links)
- Free quantified epistemic logics (Q2016054) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Fuzzy autoepistemic logic and its relation to fuzzy answer set programming (Q2351607) (← links)
- Quelques remarques sur les `tableaux de Beth' (Q2525164) (← links)
- Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\) (Q2532151) (← links)
- Preference logic and theory choice (Q2533872) (← links)
- On 'de dicto' modalities in quantified S5 (Q2562774) (← links)
- About probability-like measures for entire theories (Q2625302) (← links)
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- The Logic of Justification (Q2971696) (← links)
- Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees (Q3011979) (← links)
- (Q3197809) (← links)
- New foundations for Lewis modal systems (Q3248013) (← links)
- Independent axiom schemata for von wright's <i>M</i> (Q3248964) (← links)
- Modalities in Ackermann's “rigorous implication” (Q3262776) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- Justification Logic (Q3532452) (← links)
- Tracking Evidence (Q3585997) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
- The pure calculus of entailment (Q3849883) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Achieving While Maintaining: (Q5224498) (← links)
- What is strict implication? (Q5341748) (← links)
- The English Tenses, Blanché and the Logical Kite (Q5350340) (← links)
- Algebraic semantics for modal logics I (Q5525332) (← links)
- Extensional interpretations of modal logics (Q5526119) (← links)
- Basic modal logic (Q5528630) (← links)
- Von Wright's relative Modalitäten (Q5551424) (← links)
- The elimination of De Re modalities (Q5575529) (← links)
- Improved decision procedures for Lewis's calculus S4 and von Wright's calculus <i>M</i> (Q5829786) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)
