Pages that link to "Item:Q2253184"

The following pages link to Complete proof systems for weighted modal logic (Q2253184):

Displaying 3 items.

• Concurrent weighted logic (Q890620) (← links)
• On decidability of recursive weighted logics (Q1797779) (← links)
• Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)