Knowledge, belief and time
From MaRDI portal
Publication:1104923
DOI10.1016/0304-3975(88)90024-2zbMath0648.03017OpenAlexW2144501579MaRDI QIDQ1104923
Sarit Kraus, Daniel J. Lehmann
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(88)90024-2
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Artificial intelligence (68T99)
Related Items
Quantified temporal alethic boulesic doxastic logic, Logics for belief as maximally plausible possibility, Proactive communicating process with asymmetry in multiagent systems, Belief closure: A semantics of common knowledge for modal propositional logic, A Logic for Belief Contraction, Logic of knowledge and utterance and the liar, My beliefs about your beliefs: a case study in theory of mind and epistemic logic, Modeling belief in dynamic systems. I: Foundations, Modeling agents as qualitative decision makers, A Logic of Knowledge and Belief Based on Abstract Arguments, Collaborative plans for complex group action, Agency and Interaction What We Are and What We Do in Formal Epistemology, Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief, A resolution-based proof method for temporal logics of knowledge and belief, Doxastic logic: a new approach, A minimal logic for interactive epistemology, Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces, Iterated Belief Revision in the Face of Uncertain Communication, A principled solution to Fitch's paradox, Knowledge, Time, and Logical Omniscience, Reaching agreements through argumentation: a logical model and implementation, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, View-based explicit knowledge, Pathology of collective doxa. Automata models, Temporal Logics of Knowledge and their Applications in Security, Belief as defeasible knowledge, A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief, A simple logic for reasoning about incomplete knowledge, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
Cites Work
