Pages that link to "Item:Q863181"
From MaRDI portal
The following pages link to Pure extensions, proof rules, and hybrid axiomatics (Q863181):
Displayed 28 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again (Q1047798) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- (Q5155666) (← links)
- Product of Graphs and Hybrid Logic (Q5170294) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- An axiom system for basic hybrid logic with propositional quantifiers (Q6118684) (← links)
- Logic of visibility in social networks (Q6160743) (← links)