The following pages link to Neighborhood Contingency Logic (Q2937393):
Displaying 14 items.
- Neighborhoods for entailment (Q1411357) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- A unified logic for contingency and accident (Q2155936) (← links)
- A family of neighborhood contingency logics (Q2295739) (← links)
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity (Q2330503) (← links)
- Neighborhood singleton consistencies (Q2331105) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- (Q5101337) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- On the axiomatization of an unawareness structure from knowing-whether operators (Q6642839) (← links)