Strong Completeness and Limited Canonicity for PDL

被引：0

|

作者：

Gerard Renardel de Lavalette

Barteld Kooi

Rineke Verbrugge

机构：

[1] University of Groningen,Department of Computing Science

[2] University of Groningen,Faculty of Philosophy

[3] University of Groningen,Department of Artificial Intelligence

来源：

Journal of Logic, Language and Information | 2009年 / 18卷 / 2期

关键词：

D O I：

10.1007/s10849-009-9083-z

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：291 / 292

页数：1

相关论文

共 50 条

[21] A strong completeness result for a MAS logic
Kacprzak, Magdalena
FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 197 - 213
[22] LACK OF STRONG COMPLETENESS FOR STOCHASTIC FLOWS
Li, Xue-Mei
Scheutzow, Michael
ANNALS OF PROBABILITY, 2011, 39 (04): : 1407 - 1421
[23] Strong preservation as completeness in abstract interpretation
Ranzato, F
Tapparo, F
PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 18 - 32
[24] The Strong Pytkeev Property and Strong Countable Completeness in (Strongly) Topological Gyrogroups
Zhang, Xiaoyuan
Bao, Meng
Xu, Xiaoquan
FILOMAT, 2021, 35 (13) : 4533 - 4543
[25] ORTHOCOMPACTNESS AND STRONG CECH COMPLETENESS IN MOORE SPACES
FLETCHER, P
LINDGREN, WF
DUKE MATHEMATICAL JOURNAL, 1972, 39 (04) : 753 - 766
[26] STRONG COMPLETENESS OF A PARTIAL SYSTEM OF PROPOSITIONAL CALCULUS
LONDEY, DG
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 574 - &
[27] Maximal subgroups and strong completeness of profinite groups
John S. Wilson
Archiv der Mathematik, 2015, 105 : 401 - 404
[28] Strong Polynomial Completeness of Almost All Quasigroups
A. V. Galatenko
V. V. Galatenko
A. E. Pankrat’ev
Mathematical Notes, 2022, 111 : 7 - 12
[29] Maximal subgroups and strong completeness of profinite groups
Wilson, John S.
ARCHIV DER MATHEMATIK, 2015, 105 (05) : 401 - 404
[30] On Strong NP-Completeness of Rational Problems
Wojtczak, Dominik
COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2018, 2018, 10846 : 308 - 320

← 1 2 3 4 5 →