Pages that link to "Item:Q2500830"
From MaRDI portal
The following pages link to On the computational consequences of independence in propositional logic (Q2500830):
Displaying 13 items.
- Individual concepts as propositional variables in \(ML^{\nu +1}\) (Q760420) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Properties of the logical consequence operation and its relationship with the independence of propositional logic (Q2274565) (← links)
- Explicating logical independence (Q2301324) (← links)
- On the conditional independence implication problem: a lattice-theoretic approach (Q2351033) (← links)
- (Q2753677) (← links)
- Independence in dynamically scheduled logic languages (Q2956712) (← links)
- A formal system for propositional extended IF logic (Q2993257) (← links)
- (Q3804686) (← links)
- (Q4411161) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- Computer Science Logic (Q5394588) (← links)
- Logical Data Independence Reconsidered (Extended Abstract) (Q5450887) (← links)