Knowledge, belief and time

DOI10.1016/0304-3975(88)90024-2MaRDI QIDQ1104923zbMATH OpenOpenAlexFDO

Authors Sarit Kraus, Daniel 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

zbMATH Keywords

timemodal operatorssyntax and semantics of knowledge and belief

Mathematics Subject Classification ID

Artificial intelligence (68T99) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 4028944
• Sequent calculi for temporal logics of common knowledge and belief
• Complete Axiomatizations for Reasoning about Knowledge and Time
• scientific article; zbMATH DE number 549982
• A guide to completeness and complexity for modal logics of knowledge and belief

Cites work

• scientific article; zbMATH DE number 3930375 (Why is no real title available?)
• Reasoning with time and chance

Cited in

(40)

• scientific article; zbMATH DE number 3936549 (Why is no real title available?)
• Quantified temporal alethic boulesic doxastic logic
• Logics for belief as maximally plausible possibility
• Logic of knowledge and utterance and the liar
• My beliefs about your beliefs: a case study in theory of mind and epistemic logic
• Pathology of collective doxa. Automata models
• A resolution-based proof method for temporal logics of knowledge and belief
• Doxastic logic: a new approach
• Modeling agents as qualitative decision makers
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Knowledge, time, and the problem of logical omniscience
• Sequent calculi for temporal logics of common knowledge and belief
• View-based explicit knowledge
• Computational Logic in Multi-Agent Systems
• Complete Axiomatizations for Reasoning about Knowledge and Time
• scientific article; zbMATH DE number 4145876 (Why is no real title available?)
• Agency and Interaction What We Are and What We Do in Formal Epistemology
• Systems for Knowledge and Belief
• A Logic of Knowledge and Belief Based on Abstract Arguments
• Iterated Belief Revision in the Face of Uncertain Communication
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Reaching agreements through argumentation: a logical model and implementation
• scientific article; zbMATH DE number 4174349 (Why is no real title available?)
• Collaborative plans for complex group action
• Knowledge, Time, and Logical Omniscience
• A principled solution to Fitch's paradox
• Belief closure: A semantics of common knowledge for modal propositional logic
• scientific article; zbMATH DE number 4028944 (Why is no real title available?)
• A logic for belief contraction
• Proactive communicating process with asymmetry in multiagent systems
• The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language
• Temporal Aspects of the Dynamics of Knowledge
• Temporal logics of knowledge and their applications in security
• A minimal logic for interactive epistemology
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• Belief as defeasible knowledge
• A simple logic for reasoning about incomplete knowledge
• Modeling belief in dynamic systems. I: Foundations

This page was built for publication: Knowledge, belief and time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104923)