The following pages link to DAL -- a logic for data analysis (Q1058847):
Displaying 25 items.
- A multiple-valued logic approach for multigranulation rough set model (Q511661) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Formal reasoning with rough sets in multiple-source approximation systems (Q962650) (← links)
- Set containment inference and syllogisms (Q1114429) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Fuzzy sets and binary-proximity-based rough sets (Q1291559) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Formal reasoning in preference-based multiple-source rough set model (Q1671288) (← links)
- Rough set models in multigranulation spaces (Q1750429) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
- Logics from Galois connections (Q2379337) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Algebraic Methods for Granular Rough Sets (Q3299868) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- A new proof of completeness for a relative modal logic with composition and intersection (Q4443008) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- On the relation between possibilistic logic and modal logics of belief and knowledge (Q4586230) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- A rough set approach to reasoning under uncertainty (Q4835849) (← links)
- Towards Logics of Some Rough Perspectives of Knowledge (Q5245316) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
