The following pages link to Knowledge, belief and time (Q1104923):
Displaying 33 items.
- Proactive communicating process with asymmetry in multiagent systems (Q364551) (← links)
- A minimal logic for interactive epistemology (Q516245) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic (Q885521) (← links)
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic (Q1028901) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- View-based explicit knowledge (Q1295424) (← links)
- Belief as defeasible knowledge (Q1313959) (← links)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- Logic of knowledge and utterance and the liar (Q1386685) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Modeling agents as qualitative decision makers (Q1391353) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Pathology of collective doxa. Automata models (Q1855026) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- A principled solution to Fitch's paradox (Q2508419) (← links)
- Collaborative plans for complex group action (Q2676570) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- A Logic for Belief Contraction (Q2938533) (← links)
- Agency and Interaction What We Are and What We Do in Formal Epistemology (Q2971668) (← links)
- Iterated Belief Revision in the Face of Uncertain Communication (Q3601791) (← links)
- Knowledge, Time, and Logical Omniscience (Q3638298) (← links)
- A representation system of cognitive procedures (Q3707432) (← links)
- A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← links)
- Systems for Knowledge and Belief (Q4276179) (← links)
- A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Computational Logic in Multi-Agent Systems (Q5706835) (← links)
