Pages that link to "Item:Q3647218"
From MaRDI portal
The following pages link to Decision procedure of some relevant logics: a constructive perspective (Q3647218):
Displaying 9 items.
- A decision procedure for the system E (of entailment). I (Q802540) (← links)
- Construction of decision functions on the basis of the ternary logic in decision-making systems under uncertainty (Q1387049) (← links)
- A decision procedure for von Wright's OBS-calculus (Q2735787) (← links)
- Decision procedures for BDI logics (Q4209288) (← links)
- (Q4234182) (← links)
- (Q4428879) (← links)
- (Q4430633) (← links)
- (Q4689312) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)