A fragment of first order logic adequate for observation equivalence

Date

1992-01-01

Author

Oğuztüzün, Mehmet Halit S.

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

219
views

0
downloads

© Springer-Verlag Berlin Heidelberg 1992.We present a logical characterization of the Milner’s notion of observation equivalence of processes (“at most one observable action at a time” variant) by using a restricted class of first order formulas. We use the game technique due to Ehrenfeucht as a means to achieve this characterization. First we extend the Ehrenfeucht game by introducing a pair of compatibility relations as a parameter to the game so that we can restrict the moves of the players on the basis of the previous moves. We then define the logic which corresponds to the extended game. Second we characterize the observation equivalence on a restricted class of labelled transition systems (with τ moves), called trace-unique labelled transition systems (τ-lts’s), as the equivalence induced by the games played on certain rcducts of the given τ-lts’s where the compatibility relations are defined in terms of bounded reachability in the τ-lts’s. Combining these two characterizations we get our main result.

Subject Keywords

Order Logic, Atomic Formula, Predicate Symbol, Winning Strategy, Label Transition System

URI

https://hdl.handle.net/11511/57706

DOI

https://doi.org/10.1007/bfb0023774

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

A FRAGMENT OF 1ST-ORDER LOGIC ADEQUATE FOR OBSERVATION EQUIVALENCE Oğuztüzün, Mehmet Halit S. (1992-01-01) We present a logical characterization of the Milner's notion of observation equivalence of processes (''at most one observable action at a time'' variant) by using a restricted class of first order formulas. We use the game technique due to Ehrenfeucht as a means to achieve this characterization. First we extend the Ehrenfeucht game by introducing a pair of compatibility relations as a parameter to the game so that we can restrict the moves of the players on the basis of the previous moves. We then define t...
Unified treatment of spacelike and timelike SO(3,1) Yang-Mills fields Dundarer, AR (Springer Science and Business Media LLC, 2001-07-01) SO(3, 1) valued Yang-mills fields stemming from spacelike and timelike vectors that were studied separately in earlier works are unified by introducing a parameter lambda that takes values in the interval [-1, 1].
Geometric measures of entanglement UYANIK, KIVANÇ; Turgut, Sadi (American Physical Society (APS), 2010-03-01) The geometric measure of entanglement, which expresses the minimum distance to product states, has been generalized to distances to sets that remain invariant under the stochastic reducibility relation. For each such set, an associated entanglement monotone can be defined. The explicit analytical forms of these measures are obtained for bipartite entangled states. Moreover, the three-qubit case is discussed and it is argued that the distance to the W states is a new monotone.
A LOCAL CHARACTERIZATION OF SCHWARZSCHILD AND REISSNER METRICS GARCIARIO, E; KUPELI, DN (Springer Science and Business Media LLC, 1994-12-01) A local characterization of Schwarzschild and Reissner metrics is made by using the concepts of infinitesimal null anisotropy (or equivalently, infinitesimal isotropy) and weak affinity.
Possible manifestation of new scalar interaction in P-odd asymmetries in Lambda(b)->Lambda(+)(-)(T)(T) decay Alıyev, Tahmasıb; Savcı, Mustafa (Springer Science and Business Media LLC, 2006-10-01) Using the helicity amplitude method and including a new scalar type interaction in the matrix element of the exclusive semileptonic Lambda(b) -> Lambda tau(+) tau(-) decay, P-odd asymmetries with polarized and unpolarized heavy baryons are investigated. The result is obtained that the study of P-odd asymmetries can be promising for establishing the new scalar sector beyond the SM.

Citation Formats

M. H. S. Oğuztüzün, “A fragment of first order logic adequate for observation equivalence,” 1992, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/57706.