Pages that link to "Item:Q4796462"
From MaRDI portal
The following pages link to Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations (Q4796462):
Displaying 4 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)