The following pages link to (Q4412850):
Displaying 26 items.
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- Understanding the Brandenburger-Keisler paradox (Q2464651) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Tableaux for Reasoning about Atomic Updates (Q2996198) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Tableau-based Decision Procedures for Hybrid Logic (Q3431972) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)
