Algebraic properties of stochastic effectivity functions

被引：5
|
作者：
Doberkat, Ernst-Erich [1 ]
机构：
[1] Tech Univ Dortmund, Dortmund, Germany
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2014年 / 83卷 / 3-4期
关键词：
LABELED MARKOV-PROCESSES; MEASURABLE SPACES; BISIMULATIONS; LOGIC;
D O I：
10.1016/j.jlamp.2014.03.002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码：339 / 358
页数：20
相关论文
共 50 条
  • [31] CORE STABILITY AND DUALITY OF EFFECTIVITY FUNCTIONS
    PELEG, B
    [J]. LECTURE NOTES IN ECONOMICS AND MATHEMATICAL SYSTEMS, 1984, 226 : 272 - 287
  • [32] Effectivity on Continuous Functions in Topological Spaces
    Grubba, Tanja
    Weihrauch, Klaus
    Xu, Yatao
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 202 : 237 - 254
  • [33] CORES OF EFFECTIVITY FUNCTIONS AND IMPLEMENTATION THEORY
    MOULIN, H
    PELEG, B
    [J]. JOURNAL OF MATHEMATICAL ECONOMICS, 1982, 10 (01) : 115 - 145
  • [34] A stability index for local effectivity functions
    Abdou, Joseph
    [J]. MATHEMATICAL SOCIAL SCIENCES, 2010, 59 (03) : 306 - 313
  • [35] On Algebraic Properties of Integrals of Products of Some Hypergeometric Functions
    Gorelov, V. A.
    [J]. MATHEMATICAL NOTES, 2024, 115 (1-2) : 173 - 181
  • [36] Algebraic properties of the uniform closure of spaces of continuous functions
    Garrido, I
    Montalvo, F
    [J]. PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS: TENTH SUMMER CONFERENCE AT AMSTERDAM, 1996, 788 : 101 - 107
  • [37] Algebraic Properties of Arbitrage: An Application to Additivity of Discount Functions
    Rambaud, Salvador Cruz
    [J]. MATHEMATICS, 2019, 7 (09) : 1 - 25
  • [38] Algebraic properties of the class of Sierpinski-Zygmund functions
    Ciesielski, K
    Natkaniec, T
    [J]. TOPOLOGY AND ITS APPLICATIONS, 1997, 79 (01) : 75 - 99
  • [39] SOME ALGEBRAIC AND TOPOLOGICAL PROPERTIES OF RINGS OF MEASURABLE FUNCTIONS
    Acharyya, Soumyadip
    Acharyya, Sudip Kumar
    Bharati, Rakesh
    Ray, A. Deb
    [J]. HOUSTON JOURNAL OF MATHEMATICS, 2021, 47 (03): : 633 - 657
  • [40] On Algebraic Properties of the Family of Weakly Świa̧tkowski Functions
    Artur Bartoszewicz
    Małgorzata Filipczak
    Małgorzata Terepeta
    [J]. Results in Mathematics, 2023, 78
12345