Pages that link to "Item:Q5271079"
From MaRDI portal
The following pages link to The Logic of Exact Covers: Completeness and Uniform Interpolation (Q5271079):
Displaying 7 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- (Q4608640) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)