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 条
  • [1] ALGEBRAIC PROPERTIES OF EFFECTIVITY FUNCTIONS
    GURVICH, VA
    [J]. DOKLADY AKADEMII NAUK SSSR, 1992, 323 (01): : 19 - 24
  • [2] Stochastic non-determinism and effectivity functions
    Doberkat, Ernst-Erich
    Sanchez Terraf, Pedro
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 357 - 394
  • [3] ALGEBRAIC PROPERTIES OF HAMEL FUNCTIONS
    Matusik, G.
    Natkaniec, T.
    [J]. ACTA MATHEMATICA HUNGARICA, 2010, 126 (03) : 209 - 229
  • [4] Algebraic properties of Hamel functions
    G. Matusik
    T. Natkaniec
    [J]. Acta Mathematica Hungarica, 2010, 126 : 209 - 229
  • [5] Algebraic properties of (sic)-functions
    Ferguson, Timothy
    [J]. JOURNAL OF NUMBER THEORY, 2021, 229 : 168 - 178
  • [6] Algebraic properties for selector functions
    Hemaspaandra, LA
    Hempel, H
    Nickelsen, A
    [J]. SIAM JOURNAL ON COMPUTING, 2004, 33 (06) : 1309 - 1337
  • [7] CORRELATED EFFECTIVITY FUNCTIONS
    ABDOU, J
    MERTENS, JF
    [J]. ECONOMICS LETTERS, 1989, 30 (02) : 97 - 101
  • [8] Decomposable effectivity functions
    Otten, GJ
    Borm, P
    Storcken, T
    Tijs, S
    [J]. MATHEMATICAL SOCIAL SCIENCES, 1997, 33 (03) : 277 - 289
  • [9] ALGEBRAIC PROPERTIES OF THE ELEMENTARY FUNCTIONS OF ANALYSIS
    RISCH, RH
    [J]. AMERICAN JOURNAL OF MATHEMATICS, 1979, 101 (04) : 743 - 759
  • [10] Certain new properties of algebraic functions
    Dufresnoy, J
    [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1941, 212 : 746 - 749
12345