Pages that link to "Item:Q1669939"
From MaRDI portal
The following pages link to Many-valued multi-modal logics, satisfiability problem (Q1669939):
Displaying 6 items.
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Extending the reach of SAT with many-valued logics (Q2741541) (← links)
- A quantitative method for multi-valued modal logics (Q2858428) (← links)
- Satisfiability in a Temporal Multi-valueted Logic Based on Z (Q5068367) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191599) (← links)
- The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\) (Q6643441) (← links)