Pages that link to "Item:Q1762230"
From MaRDI portal
The following pages link to An extended propositional logic for incomplete knowledge (Q1762230):
Displaying 6 items.
- A new kind of implication to reason with unknown information (Q2117119) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Partial logics with two kinds of negation as a foundation for knowledge-based reasoning (Q2715521) (← links)
- (Q3821625) (← links)
- (Q4198476) (← links)
- (Q4784885) (← links)