The following pages link to (Q3376919):
Displayed 9 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Avoiding omnidoxasticity in logics of belief: A reply to MacPherson (Q1906677) (← links)
- Referential opacity and epistemic logic (Q1941726) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- A methodology to develop awareness in computer supported collaborative work using policies (Q2453552) (← links)
- On knowing (or believing) that one knows (or believe) (Q2540010) (← links)