Pages that link to "Item:Q2079711"
From MaRDI portal
The following pages link to Valuation semantics for first-order logics of evidence and truth (Q2079711):
Displaying 3 items.
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Valuation semantics for first-order logics of evidence and truth (and some related logics) (Q6370622) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)