DAL -- a logic for data analysis
From MaRDI portal
Publication:1058847
DOI10.1016/0304-3975(85)90046-5zbMath0565.68032OpenAlexW2060671215MaRDI QIDQ1058847
Ewa S. Orłowska, Luis Fariñas del Cerro
Publication date: 1985
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(85)90046-5
Related Items
A hierarchy of modal logics with relative accessibility relations, Logics from Galois connections, Propositional Dynamic Logic for Petri Nets with Iteration, Set containment inference and syllogisms, A rough set approach to reasoning under uncertainty, Formal reasoning in preference-based multiple-source rough set model, On the relation between possibilistic logic and modal logics of belief and knowledge, A Formal Study of a Generalized Rough Set Model Based on Relative Approximations, A polynomial space construction of tree-like models for logics with local chains of modal connectives, Resolution for some first-order modal systems, Modal logics with relative accessibility relations, Algebraic Methods for Granular Rough Sets, A multiple-valued logic approach for multigranulation rough set model, Rough set models in multigranulation spaces, Formal reasoning with rough sets in multiple-source approximation systems, Kripke semantics for knowledge representation logics, Towards reasoning about Petri nets: a propositional dynamic logic based approach, Axiomatization and computability of a variant of iteration-free PDL with fork, PDL with intersection and converse: satisfiability and infinite-state model checking, A new proof of completeness for a relative modal logic with composition and intersection, PDL with intersection of programs: a complete axiomatization, A logic for multiple-source approximation systems with distributed knowledge base, Fuzzy sets and binary-proximity-based rough sets, Towards Logics of Some Rough Perspectives of Knowledge, AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS, An essay in combinatory dynamic logic
Cites Work
