The following pages link to (Q5271383):
Displaying 5 items.
- A concept approach to input/output logic (Q898776) (← links)
- Variable priorities and exclusionary reasons in input/output logic (Q1633232) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- From input/output logics to conditional logics via sequents -- with provers (Q2142070) (← links)
- (Q4949354) (← links)