The following pages link to Knowledge, belief and time (Q1104923):
Displaying 29 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 Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief (Q4236067) (← 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)
