Pages that link to "Item:Q4914416"
From MaRDI portal
The following pages link to On the existence of a modal-logical basis for monadic second-order logic (Q4914416):
Displaying 7 items.
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
- Logical laws for existential monadic second-order sentences with infinite first-order parts (Q1707156) (← links)
- A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← links)