Pages that link to "Item:Q3119165"
From MaRDI portal
The following pages link to Combinations and completeness transfer for quantified modal logics (Q3119165):
Displaying 5 items.
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Simulation and transfer results in modal logic -- a survey (Q1372357) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)