Fragments of existential second-order logic without 0-1 laws

被引:3
|
作者
Le Bars, JM [1 ]
机构
[1] Univ Caen, GREYC, F-14032 Caen, France
关键词
D O I
10.1109/LICS.1998.705685
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We prove that there is a Monadic Sigma(1)(1) (Minimal Scott without equality) sentence without an asymptotic probability. Our result entails that the 0-1 law fails for the logics Sigma(1)(1) (FO2) and Sigma(1)(1) (Minimal Godel without equality). Therefore we achieve the classification of First-order prefix classes with or without equality. according to the existence of the 0-1 law for the corresponding Sigma(1)(1) fragment. In addition, our counterexample can be viewed as a single explanation of the failure of the 0-1 law of all the fragments of existential second-order logic for which the failure is already known.
引用
收藏
页码:525 / 536
页数:12
相关论文
共 50 条
  • [31] COMPLETE AXIOMATIZATIONS OF FRAGMENTS OF MONADIC SECOND-ORDER LOGIC ON FINITE TREES
    Gheerbrant, Amelie
    ten Cate, Balder
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (04)
  • [32] Team Logic and Second-Order Logic
    Kontinen, Juha
    Nurmi, Ville
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
  • [33] Team Logic and Second-Order Logic
    Kontinen, Juha
    Nurmi, Ville
    FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 259 - 272
  • [34] Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification
    Tantau, Till
    32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 703 - 715
  • [35] Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
    Hannula, Miika
    Virtema, Jonni
    ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
  • [36] A Defense of Second-Order Logic
    Bueno, Otavio
    AXIOMATHES, 2010, 20 (2-3): : 365 - 383
  • [37] A Defense of Second-Order Logic
    Otávio Bueno
    Axiomathes, 2010, 20 : 365 - 383
  • [38] SECOND-ORDER INTENSIONAL LOGIC
    CRESSWELL, MJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04): : 297 - 320
  • [39] Second-Order Logic of Paradox
    Hazen, Allen P.
    Pelletier, Francis Jeffry
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2018, 59 (04) : 547 - 558
  • [40] Symbolic Execution with Existential Second-Order Constraints
    Mechtaev, Sergey
    Griggio, Alberto
    Cimatti, Alessandro
    Roychoudhury, Abhik
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 389 - 399