PROBABILITIES IN FIRST-ORDER LOGIC OF A UNARY FUNCTION AND A BINARY RELATION

被引：1
|
作者：
TYSZKIEWICZ, J
机构：
[1] Institute of Informatics, University of Warsaw, Warsaw
来源：
RANDOM STRUCTURES & ALGORITHMS | 1995年 / 6卷 / 2-3期
关键词：
D O I：
10.1002/rsa.3240060205
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We settle the question of the behavior of probabilities of sentences of first-order logic about a unary function and a binary relation. We show that there are sentences of this logic without asymptotic probability. This settles the last open case in the problem of establishing the behavior of asymptotic probabilities for classes of labeled structures corresponding to natural signatures. (C) 1995 John Wiley & Sons, Inc.
引用
收藏
页码：181 / 192
页数：12
相关论文
共 50 条
  • [1] First-order logic with two variables and unary temporal logic
    Etessami, K
    Vardi, MY
    Wilke, T
    [J]. INFORMATION AND COMPUTATION, 2002, 179 (02) : 279 - 295
  • [2] First-order logic with two variables and unary temporal logic
    Etessami, K
    Vardi, MY
    Wilke, T
    [J]. 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 228 - 235
  • [3] First-order queries over one unary function
    Durand, A.
    Olive, F.
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 334 - 348
  • [4] A first-order probabilistic logic with approximate conditional probabilities
    Ikodinovic, Nebojsa
    Raskovic, Miodrag
    Markovic, Zoran
    Ognjanovic, Zoran
    [J]. LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 539 - 564
  • [5] Hanf normal form for first-order logic with unary counting quantifiers
    Heimberg, Lucas
    Kuske, Dietrich
    Schweikardt, Nicole
    [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 277 - 286
  • [6] A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic
    Place, Thomas
    Zeitoun, Marc
    [J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [7] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [8] Binary decision diagrams for first-order predicate logic
    Groote, JF
    Tveretina, O
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 57 (1-2): : 1 - 22
  • [9] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    [J]. LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [10] A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES
    Bodirsky, Manuel
    Mottet, Antoine
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
12345