The following pages link to (Q4501147):
Displaying 12 items.
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- The completeness problem for modal logic (Q1709685) (← links)
- Elementary definability and completeness in general and positive modal logic (Q1868490) (← links)
- Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916) (← links)
- (Q2974968) (← links)
- Exemplaric Expressivity of Modal Logics (Q3056297) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- Modal Expressivity and Definability over Sets (Q3655242) (← links)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes (Q5019118) (← links)
- (Q5688811) (← links)
- (Q5884945) (← links)