Pages that link to "Item:Q1119628"
From MaRDI portal
The following pages link to An arithmetical hierarchy in propositional dynamic logic (Q1119628):
Displaying 4 items.
- Refined hierarchy of formulas (Q1803026) (← links)
- (Q3199407) (← links)
- SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-<font>ary</font> INPUT RELATIONS (Q4528763) (← links)
- A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (Q5704378) (← links)