Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 8.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 005231 | Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas] | Pure Extensions, Proof Rules, and Hybrid Axiomatics |
| 005630 | Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] | Modal logic: a Semantic Perspective |
| 005766 | Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni] | Handbook of Modal Logic |
| 008737 | Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
| 008E21 | Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
| 009286 | Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas] | Situation Calculus as Hybrid Logic: First Steps |
| 009461 | Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas] | Modal Logic |
| 009631 | Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Journal of Logic and Computation. Special Issue on Hybrid Logic |
| This area was generated with Dilib version V0.6.33. |  |