scientific article; zbMATH DE number 3616386

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Bibliography Survey Knowledge Epistemology Epistemic Logic Subjective Probability Doxastic Modalities Justified True Belief

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Bibliographies for mathematics in general (00A15)

Related Items (45)

Minimal knowledge problem: A new approach ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Logics for belief as maximally plausible possibility ⋮ Only knowing with degrees of confidence ⋮ Relevant logic as a basis for paraconsistent epistemic logics ⋮ Knowledge Means ‘All’, Belief Means ‘Most’ ⋮ Private announcements on topological spaces ⋮ Reasoning about knowledge and messages in asynchronous multi-agent systems ⋮ A Modal Logic of Knowledge, Belief, and Estimation ⋮ An Epistemic Separation Logic ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Semantical considerations on multiagent only knowing ⋮ A topological approach to full belief ⋮ Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) ⋮ The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames ⋮ Epistemic logic without closure ⋮ On Logics of Knowledge and Belief ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems ⋮ A public announcement separation logic ⋮ A logic of goal-directed knowing how ⋮ Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents ⋮ Questions of Epistemic Logic in Hintikka ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ A lightweight epistemic logic and its application to planning ⋮ A note on the complexity of S4.2 ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Doxastic logic: a new approach ⋮ Structures of Oppositions in Public Announcement Logic ⋮ An internal version of epistemic logic ⋮ On the logical unsolvability of the Gettier problem ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Announcement as effort on topological spaces ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ A logical formalization of the OCC theory of emotions ⋮ Quantified modal logic: non-normal worlds and propositional attitudes ⋮ Naming and identity in epistemic logic. II: A first-order logic for naming ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief

This page was built for publication: