Pages that link to "Item:Q1904398"
From MaRDI portal
The following pages link to A set-theoretic translation method for polymodal logics (Q1904398):
Displaying 8 items.
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)
