Pages that link to "Item:Q2772880"
From MaRDI portal
The following pages link to Internalization: The case of hybrid logics (Q2772880):
Displaying 13 items.
- Sequent calculi and decidability for intuitionistic hybrid logic (Q764257) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- An Analytic Logic of Aggregation (Q3601806) (← links)
- A Two-Dimensional Hybrid Logic of Subset Spaces (Q3601810) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Internalizing labelled deduction (Q4952029) (← links)
- The logicality of equality (Q6612870) (← links)