The following pages link to Bryan Renne (Q375306):
Displaying 16 items.
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Propositional games with explicit strategies (Q731893) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- The logic of qualitative probability (Q2321338) (← links)
- Simple Evidence Elimination in Justification Logic (Q2902944) (← links)
- The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge (Q2915025) (← links)
- (Q2939497) (← links)
- Public communication in justification logic (Q3103977) (← links)
- ARROW UPDATE LOGIC (Q3224046) (← links)
- Dynamic Epistemic Temporal Logic (Q3655234) (← links)
- (Q4636055) (← links)
- Propositional Games with Explicit Strategies (Q4917994) (← links)
- KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS (Q5024506) (← links)
- KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM (Q5027675) (← links)
