scientific article; zbMATH DE number 3616386
From MaRDI portal
Publication:4180316
Cited in
(54)- A logical formalization of the OCC theory of emotions
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents
- A guide to completeness and complexity for modal logics of knowledge and belief
- Minimal knowledge problem: A new approach
- Private announcements on topological spaces
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- On the logical unsolvability of the Gettier problem
- Naming and identity in epistemic logic. II: A first-order logic for naming
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- Announcement as effort on topological spaces
- A logic of goal-directed knowing how
- A lightweight epistemic logic and its application to planning
- Only knowing with degrees of confidence
- A topological approach to full belief
- In search of a ``true logic of knowledge: the nonmonotonic perspective
- Epistemic logic without closure
- Knowledge means `all', belief means `most'
- A modal logic of knowledge, belief, and estimation
- An epistemic separation logic
- On logics of knowledge and belief
- Questions of epistemic logic in Hintikka
- Beyond knowing that: a new generation of epistemic logics
- scientific article; zbMATH DE number 7444845 (Why is no real title available?)
- Logic and topology for knowledge, knowability, and belief
- KBPs
- Relevant logic as a basis for paraconsistent epistemic logics
- Reasoning about knowledge and messages in asynchronous multi-agent systems
- Knowledge means ‘all’, belief means ‘most’
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Doxastic logic: a new approach
- Structures of oppositions in public announcement logic
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
- On the consistency among prior, posteriors, and information sets (extended abstract)
- A Logic of Knowledge and Belief Based on Abstract Arguments
- A note on the complexity of \textbf{S4.2}
- DYNAMIC GRADED EPISTEMIC LOGIC
- A public announcement separation logic
- Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames
- On the consistency among prior, posteriors, and information sets
- Attainable knowledge and omniscience
- A hyperintensional approach to positive epistemic possibility
- Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
- Erratum to: ``Russell-Myhill and grounding
- Justification and being in a position to know
- From knowledge to action: logics of permitted and obligatory announcements
- A paradox of modal knowledge
- Quantified modal logic: non-normal worlds and propositional attitudes
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
- Quantified temporal alethic boulesic doxastic logic
- Logics for belief as maximally plausible possibility
- Semantical considerations on multiagent only knowing
- An internal version of epistemic logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4180316)
