Pages that link to "Item:Q5277787"
From MaRDI portal
The following pages link to A sequent calculus and a theorem prover for standard conditional logics (Q5277787):
Displayed 13 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals (Q3451170) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)