Pages that link to "Item:Q3088054"
From MaRDI portal
The following pages link to A Universally Defined Undecidable Unimodal Logic (Q3088054):
Displaying 13 items.
- Undecidability of relation-changing modal logics (Q1742616) (← links)
- The price of universality (Q1815426) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Undecidability of multi-modal hybrid logics (Q2867946) (← links)
- Simulation of two dimensions in unimodal logics (Q2904064) (← links)
- Modal logics definable by universal three-variable formulas (Q2911630) (← links)
- Undecidable problems for modal definability: Table 1. (Q2983400) (← links)
- Undecidability of the transitive graded modal logic with converse (Q3133169) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- Undecidability of compass logic (Q4943504) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)