Pages that link to "Item:Q1742616"
From MaRDI portal
The following pages link to Undecidability of relation-changing modal logics (Q1742616):
Displaying 8 items.
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- (Q3329437) (← links)
- Satisfiability for relation-changing logics (Q4612446) (← links)
- Relation-changing modal operators: Fig. 1. (Q4644524) (← links)
- Undecidability of the Logic of Partial Quasiary Predicates (Q5092565) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- To be announced (Q6040661) (← links)
- Local fact change logic (Q6601765) (← links)