CaRet With Forgettable Past
Work
Year: 2009
Type: article
Abstract: We study the extension of the full logic CaRet with the unary regular modality N (which reads "from now on") which allows to model forgettable past. For such an extension, denoted NCaRet, we show the ... more
Author Laura Bozzelli
Cites: 16
Cited by: 5
Related to: 10
FWCI: 0.903
Citation percentile (by year/subfield): 61.85
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold