Pages that link to "Item:Q2453983"
From MaRDI portal
The following pages link to On weighted first-order logics with discounting (Q2453983):
Displaying 8 items.
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Weighted first-order logics over semirings (Q2803057) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- (Q5015275) (← links)
- (Q5092440) (← links)
- A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions (Q5876063) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)