Buscar
Mostrando ítems 1-10 de 370
Non-deterministic Semantics for Quantum States
(Multidisciplinary Digital Publishing Institute, 2020-01-28)
In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations ...
Non-deterministic Conditionals and Transparent Truth
(Springer, 2015-11)
Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. ...
Blowing-up of deterministic fixed points in stochastic population dynamics
(Elsevier Science Inc, 2007)
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces
(2017)
Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of non-deterministic planning with temporally extended goals specified in linear ...
On Resolving Non-determinism in Choreographies
(Tech Univ Braunschweig, 2020-09)
Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctnes ...
Normality and Automata
(Academic Press Inc Elsevier Science, 2015-12)
We prove that finite-state transducers with injective behavior, deterministic or not, real-time or not, with no extra memory or a single counter, cannot compress any normal word. We exhaust all combinations of determinism, ...
Bisimilarity is not borel
(Cambridge University Press, 2017-10)
We prove that the relation of bisimilarity between countable labelled transition systems (LTS) is Σ1 1-complete (hence not Borel), by reducing the set of non-well orders over the natural numbers continuously to it. This ...