Pages that link to "Item:Q5738955"
From MaRDI portal
The following pages link to Sequent calculi for propositional nonmonotonic logics (Q5738955):
Displayed 11 items.
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
- The Complexity of Reasoning for Fragments of Default Logic (Q3637157) (← links)
- (Q5020976) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Sequent-type rejection systems for finite-valued non-deterministic logics (Q6080581) (← links)