Pages that link to "Item:Q334998"
From MaRDI portal
The following pages link to Structural completeness in propositional logics of dependence (Q334998):
Displaying 8 items.
- Propositional team logics (Q526967) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Structural completeness and superintuitionistic inquisitive logics (Q6118689) (← links)
- Lattices of Intermediate Theories via Ruitenburg's Theorem (Q6337923) (← links)