Pages that link to "Item:Q4961740"
From MaRDI portal
The following pages link to LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740):
Displaying 24 items.
- Propositional logics of dependence (Q278765) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Conditional independence in propositional logic. (Q1852858) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Determinate logic and the axiom of choice (Q2007876) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Properties of the logical consequence operation and its relationship with the independence of propositional logic (Q2274565) (← links)
- A modal logic of supervenience (Q2319894) (← links)
- Free choice in modal inquisitive logic (Q2698544) (← links)
- (Q2753677) (← links)
- A formal system for propositional extended IF logic (Q2993257) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Extended semantics and inference for the Independent Choice Logic (Q3653144) (← links)
- (Q3740276) (← links)
- (Q3804686) (← links)
- (Q3815280) (← links)
- (Q4411161) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Independence of the primitive symbols of Lewis's calculi of propositions (Q5841623) (← links)
- Kim-independence in positive logic (Q6156873) (← links)
- Logics for Propositional Determinacy and Independence (Q6277858) (← links)
