Pages that link to "Item:Q1682285"
From MaRDI portal
The following pages link to Birkhoff style calculi for hybrid logics (Q1682285):
Displaying 18 items.
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Birkhoff completeness in institutions (Q1001374) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Hybrid formulas and elementarily generated modal logics (Q2372681) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Quasi-varieties and initial semantics for hybridized institutions (Q2826029) (← links)
- Abstraction and probabilities for hybrid logics (Q2849846) (← links)
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (Q2915051) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)
- (Q3682485) (← links)
- (Q4314068) (← links)
- (Q4708918) (← links)
- Natural Deduction for Hybrid Logic (Q4820470) (← links)
- Forcing and Calculi for Hybrid Logics (Q5133981) (← links)
- Algebraization of Hybrid Logic with Binders (Q5459188) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)
