The following pages link to Multimodal logic programming (Q2503328):
Displaying 4 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Modal logic programming revisited (Q3647295) (← links)
