2 citations · 5 across the 17 of their papers we have counts for
4 papers · 1 filter
A Hypercomputation in Brouwer's Constructivism
Rasoul Ramezanian
In contrast to other constructivist schools, for Brouwer, the notion of "constructive object" is not restricted to be presented as `words' in some finite alphabet of symbols, and c…
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models
Mohammad Ardeshir Rasoul Ramezanian
Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action…
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…
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…