Computational Aspects of Logics in Team Semantics

被引：0
|
作者：
Kontinen, Juha [1 ]
机构：
[1] Univ Helsinki, Dept Math & Stat, Helsinki, Finland
来源：
34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017) | 2017年 / 66卷
关键词：
team semantics; dependence logic; model checking; satisfiability problem; team bisimulation;
D O I：
10.4230/LIPIcs.STACS.2017.1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页数：1
相关论文
共 50 条
  • [1] Separation logic and logics with team semantics
    Haase, Darion
    Graedel, Erich
    Wilke, Richard
    ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
  • [2] Logics with Probabilistic Team Semantics and the Boolean Negation
    Hannula, Miika
    Hirvonen, Minna
    Kontinen, Juha
    Mahmood, Yasir
    Meier, Arne
    Virtema, Jonni
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 665 - 680
  • [3] Quantum computational logics and Fock space semantics
    Dalla Chiara, ML
    Giuntini, R
    Leporini, R
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2005, 3 (01) : 9 - 16
  • [4] Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
    Logan, Shay Allen
    JOURNAL OF LOGIC AND COMPUTATION, 2023,
  • [5] Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information
    Galliani, Pietro
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (01) : 68 - 84
  • [6] SEMANTICS FOR RELEVANT LOGICS
    URQUHART, A
    JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 159 - &
  • [7] SEMANTICS FOR TENSE LOGICS
    THOMASON, SK
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1107 - &
  • [8] Logics with Multiteam Semantics
    Graedel, Erich
    Wilke, Richard
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022, 23 (02)
  • [9] Nonmonotonic logics and semantics
    Lehmann, D
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (02) : 229 - 256
  • [10] ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS
    Hoelzel M.
    Wilke R.
    Logical Methods in Computer Science, 2021, 17 (03): : 14:1 - 14:32
12345