Pages that link to "Item:Q5460207"

The following pages link to Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics (Q5460207):

Displaying 3 items.

• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
• Finitary S5-Theories (Q2938497) (← links)
• (Q5020586) (← links)