The following pages link to (Q5868872):
Displaying 11 items.
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- Inductive reasoning in social choice theory (Q2008634) (← links)
- Making sense of raw input (Q2238697) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- The monadic hybrid calculus (Q4586221) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
- Vagueness as an epiphenomenon, and non-transitivity (Q5048038) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
