2022
DOI: 10.1016/j.ic.2022.104911
|View full text |Cite
|
Sign up to set email alerts
|

An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 33 publications
0
2
0
Order By: Relevance
“…This work can be continued in several directions. For instance, Tower-hardness of SAT(QCTL t F ) is recently refined in [Man20b,Man20a] by establishing that already QCTL t F restricted to formulae of modal/temporal depth two is also Tower-hard. Among the several directions, one of them would be to characterise the expressiveness of QCTL t X or QCTL t F along the lines of [DLM16] or [Kuu15], see also [AvBG18].…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…This work can be continued in several directions. For instance, Tower-hardness of SAT(QCTL t F ) is recently refined in [Man20b,Man20a] by establishing that already QCTL t F restricted to formulae of modal/temporal depth two is also Tower-hard. Among the several directions, one of them would be to characterise the expressiveness of QCTL t X or QCTL t F along the lines of [DLM16] or [Kuu15], see also [AvBG18].…”
Section: Discussionmentioning
confidence: 99%
“…In order to show that SAT(QCTL t F ) is Tower-hard, we design a logarithmic-space many-one reduction from SAT(QCTL t X ). A more sophisticated analysis is also possible to establish Tower-hardness for even smaller fragments, see the recent work [Man20a].…”
Section: A Harvest Of Tower-complete Modal and Temporal Logicsmentioning
confidence: 99%