The following pages link to (Q3376919):
Displaying 20 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)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← 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)
- (Q3384071) (← links)
- (Q3384090) (← links)
- Question Meaning = Resolution Conditions (Q4568332) (← links)
- (Q5018508) (← links)
- (Q5018512) (← links)
- (Q5018518) (← links)
- Impure Simplicial Complexes: Complete Axiomatization (Q6076177) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
