The following pages link to Multimodal logic programming (Q2503328):
Displaying 11 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- An intensional epistemic logic (Q687156) (← links)
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic (Q985144) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- Modal logic programming revisited (Q3647295) (← links)
- (Q4282526) (← links)
- Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics (Q5460207) (← links)
- Computational Logic in Multi-Agent Systems (Q5464680) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
