Pages that link to "Item:Q4240680"
From MaRDI portal
The following pages link to Temporal logics of “the next” do not have the beth property (Q4240680):
Displaying 6 items.
- Common knowledge does not have the Beth property (Q987837) (← links)
- Knowledge forgetting in propositional \(\mu\)-calculus (Q2679422) (← links)
- Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)