The necessity lower approximation operator defined on subset approximation structures is
studied in this paper. We propose a semantics of the basic modal language based on this …

This article presents a generalized rough set model based on a structure where we have a
collection of subsets of the domain of discourse along with the accessibility relation. A modal …

Modal logic has been ubiquitously used in many fields of computer science including
verification, epistemic logic etc. Typically we have two modal operators d and O which in a …

When we consider systems with process creation and exit, we have potentially infinite state
systems where the number of processes alive at any state is unbounded. Properties of such …

Modal logic has been ubiquitously used in many fields of computer science including
verification, epistemic logic etc. Typically we have two modal operators d and O which in a …