Pages that link to "Item:Q3133175"
From MaRDI portal
The following pages link to Implicit Kripke semantics and ultraproducts in stratified institutions (Q3133175):
Displaying 6 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
