The following pages link to Patrick Blackburn (Q209482):
Displaying 50 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Arthur Prior and `now' (Q516423) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Zooming in, zooming out (Q676176) (← links)
- Nominal tense logic (Q689193) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- Hybridizing concept languages (Q1286394) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Why combine logics? (Q1370455) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Editorial: Alan Turing and artificial intelligence (Q1592255) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Dynamic squares (Q1902558) (← links)
- Hybrid languages (Q1909610) (← links)
- Formalizing a Seligman-style tableau system for hybrid logic (short paper) (Q2096470) (← links)
- Rigid first-order hybrid logic (Q2303580) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Discipline as logic: Treating labels as first class citizens (Q2701981) (← links)
- Modal logic (Q2744124) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Bringing them all together (Q2772879) (← links)
- Second-Order False-Belief Tasks: Analysis and Formalization (Q2820690) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- (Q3007241) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- (Q3571951) (← links)
- (Q3587572) (← links)
- PDL for ordered trees (Q3647225) (← links)
- Hybrid completeness (Q4210769) (← links)
- (Q4215593) (← links)
- Hybrid languages and temporal logic (Q4238499) (← links)
- Linguistics, Logic and Finite Trees (Q4318160) (← links)
- (Q4362889) (← links)
- (Q4370232) (← links)
- (Q4394917) (← links)
- (Q4412850) (← links)
- (Q4434354) (← links)
- Representation, reasoning, and relational structures: a hybrid logic manifesto (Q4487266) (← links)
- The computational complexity of hybrid temporal logics (Q4511543) (← links)
- (Q4518426) (← links)
- (Q4530725) (← links)
- (Q4636041) (← links)
- (Q4736477) (← links)
- (Q4833769) (← links)
- (Q4945233) (← links)
- Internalizing labelled deduction (Q4952029) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
