2 papers
cs.LO2013
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)
Rasoul Ramezanian
We argue that the notion of epistemic \emph{possible worlds} in constructivism (intuitionism) is not as the same as it is in classic view, and there are possibilities, called non-p…
cs.LO2012
Computation Environments (2) Persistently Evolutionary Semantics
Rasoul Ramezanian
In the manuscript titled "Computation environment (1)", we introduced a notion called computation environment as an interactive model for computation and complexity theory. In this…