| 007437 (2003) |
Carlos Areces [France] ; Patrick Blackburn [France] ; Maarten Marx | Repairing the interpolation theorem in Quantified Modal Logic |
| 007549 (2003) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Repairing the interpolation theorem in Quantified Modal Logic |
| 007565 (2003) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Repairing the Interpolation Theorem in Quantified Modal Logic |
| 007773 (2003) |
Carlos Areces ; Patrick Blackburn ; Bernadette Martinez Hernandez ; Maarten Marx | Handling Boolean ABoxes |
| 007E17 (2003) |
Carlos Areces [France] ; Patrick Blackburn [France] ; Bernardette Martinez Hernandez ; Maarten Marx | Handling Boolean ABoxes |
| 008E17 (2001) |
Carlos Areces ; Patrick Blackburn [France] ; Maarten Marx | Hybrid Logic: Characterization, Interpolation and Complexity |
| 008F20 (2001) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Hybrid Logic : Characterization, Interpolation and Complexity |
| 003221 (2010) |
Carlos Areces [France] ; Patrick Blackburn [France] | Special Issue on Hybrid Logics |
| 004638 (2007-11-29) |
Dmitry Sustretov [France] ; Guillaume Hoffmann [France] ; Carlos Areces [France] ; Patrick Blackburn [France] | Experiments in Theorem Proving for Topological Hybrid Logic |
| 005B27 (2005) |
Loredana Afanasiev ; Patrick Blackburn ; Ioanna Dimitriou ; Bertrand Gaiffe ; Evan Goris ; Maarten Marx ; Maarten De Rijke | PDL for ordered trees |
| 006564 (2005) |
Loredana Afanasiev ; Patrick Blackburn [France] ; Ioanna Dimitriou ; Bertrand Gaiffe [France] ; Evan Goris ; Maarten Marx ; Maarten Rijke | PDL for ordered trees |
| 007243 (2003-06) |
Patrick Blackburn [France] ; Bertrand Gaiffe [France] ; Maarten Marx [Pays-Bas] | Variable free reasoning on finite trees |
| 007455 (2003) |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Constructive Interpolation in Hybrid Logic |
| 007665 (2003) |
Patrick Blackburn ; Maarten Marx | Constructive Interpolation in Hybrid Logic |
| 007753 (2003) |
Patrick Blackburn ; Bertrand Gaiffe ; Maarten Marx | Variable free reasoning on finite trees |
| 008005 (2002-07) |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
| 008517 (2002) |
Patrick Blackburn ; Maarten Marx | Remarks on Gregory's ``Actually'' Operator |
| 008603 (2002) |
Patrick Blackburn ; Maarten Marx | Tableaux for Quantified Hybrid Logic |
| 008737 (2002) |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
| 008753 (2002) |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Remarks on Gregory's “Actually” Operator |
| 008E21 (2001) |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
| 008F76 (2001) |
Carlos Areces ; Patrick Blackburn | Journal of Logic and Computation. Special Issue on Hybrid Logic |
| 009098 (2001) |
Carlos Areces ; Patrick Blackburn | Bringing them all together |
| 009260 (2001) |
Patrick Blackburn ; Maarten Marx | Third International Workshop on Hybrid Logic (HyLo'01) |
| 009286 (2001) |
Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas] | Situation Calculus as Hybrid Logic: First Steps |
| 009631 (2001) |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Journal of Logic and Computation. Special Issue on Hybrid Logic |
| 000702 (2015) |
Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France] | Modal Satisfiability via SMT Solving |
| 000D54 (2014) |
Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France] | Logics with Copy and Remove |
| 001112 (2013-07-08) |
Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine] | SyMT: finding symmetries in SMT formulas |
| 001475 (2013) |
Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine] | Tableaux for Relation-Changing Modal Logics |
| 001607 (2013) |
Carlos Areces [Argentine] ; Ezequiel Orbe [Argentine] | Dealing with Symmetries in Modal Tableaux |
| 002739 (2011) |
Carlos Areces [France, Argentine] ; Pascal Fontaine [France] | Combining Theories: The Ackerman and Guarded Fragments |
| 002A62 (2010-09-24) |
Luciana Benotti [France] ; Patrick Blackburn [France] | Negotiating causal implicatures |
| 002B04 (2010-08-31) |
Carlos Areces [France] ; Santiago Figueira ; Sergio Mera [France] | The Expressive Power of Memory Logics |
| 002B38 (2010-08-12) |
Carlos Areces [France] ; Daniel Gorín [France] | Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) |
| 002B92 (2010-07-06) |
Carlos Areces [France] ; Guillaume Hoffmann [France] ; Alexandre Denis [France] | Modal Logics with Counting |
| 002E27 (2010-02-01) |
Carlos Areces [France] ; Daniel Gorin [France] | Resolution with Order and Selection for Hybrid Logics |
| 003452 (2009-07-27) |
Carlos Areces [France] ; Daniel Gorin ; Alejandra Lorenzo ; Mariano Perez Rodriguez | Testing Provers on a Grid - Framework Description |
| 003484 (2009-07-11) |
Carlos Areces [France] ; Diego Figueira [France] | Which Semantics for Neighbourhood Semantics? |
| 003493 (2009-07-06) |
Carlos Areces [France] ; Diego Figueira [France] ; Daniel Gorin ; Sergio Mera | Tableaux and Model Checking for Memory Logics |
| 003728 (2009-01-03) |
Carlos Areces [France] ; Sergio Mera ; Santiago Figueira | Completeness results for memory logics |
| 003F24 (2008-07-01) |
Carlos Areces [France] ; Diego Figueira ; Santiago Figueira ; Sergio Mera | Expressive Power and Decidability for Memory Logics |
| 003F57 (2008-06-12) |
Carlos Areces [France] ; Alexander Koller [Allemagne] ; Kristina Striegnitz [États-Unis] | Referring Expressions as Formulas of Description Logic |
| 004471 (2008) |
Carlos Areces [France] ; Rob Goldblatt | Advances in Modal Logic, Volume 7 |
| 004552 (2008) |
Carlos Areces [France] ; Stephane Demri | Methods for Modalities 2007 |
| 004637 (2007-11-29) |
Guillaume Hoffmann [France] ; Carlos Areces [France] | HTab: A Terminating Tableaux System for Hybrid Logic |
| 004709 (2007-10-05) |
Patrick Blackburn [France] ; Sébastien Hinderer [France] | From TY_n to DRT: an implementation |
| 004721 (2007-09-27) |
Patrick Blackburn [France] ; Sébastien Hinderer [France] | Generating models for temporal representations |
| 004E71 (2007) |
Patrick Blackburn [France] ; Johan Van Benthem ; Frank Wolter | Handbook of Modal Logic |
| 005231 (2006) |
Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas] | Pure Extensions, Proof Rules, and Hybrid Axiomatics |
| 005264 (2006) |
Patrick Blackburn [France] | Arthur Prior and Hybrid Logic |
| 005630 (2006) |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] | Modal logic: a Semantic Perspective |
| 005752 (2006) |
Patrick Blackburn [France] ; Johan Bos [Italie] ; Kristina Striegnitz [États-Unis] | Learn Prolog Now! |
| 005766 (2006) |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni] | Handbook of Modal Logic |
| 005A84 (2005-03) |
Carlos Areces [France] ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
| 005C13 (2005) |
Carlos Areces | Methods for Modalities 3 |
| 005C36 (2005) |
Carsten Lutz ; Carlos Areces [France] ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 005E59 (2005) |
Patrick Blackburn ; Johan Bos | Representation and Inference for Natural Language : A First Course in Computational Semantics |
| 006080 (2005) |
Carlos Areces ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
| 006355 (2005) |
Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
| 006473 (2005) |
Patrick Blackburn [France] ; Johan Bos | Representation and Inference for Natural Language: A First Course in Computational Semantics |
| 006474 (2005) |
Areces Carlos [France] ; Patrick Blackburn [France] | Reichenbach, Prior and Montague: A semantic get-together. |
| 006504 (2005) |
Carlos Areces [France] | Methods for Modalities 3 |
| 006C37 (2004) |
Carlos Areces [France] ; Raffaella Bernardi [Pays-Bas] | Analyzing the Core of Categorial Grammar |
| 007747 (2003) |
Carlos Areces ; Gabriel G. Infante-Lopez ; Maarten De Rijke | Controlled model exploration |
| 007752 (2003) |
Patrick Blackburn ; Bertrand Gaiffe ; Marteen Marx | Variable-free reasoning on finite trees |
| 007756 (2003) |
Patrick Blackburn ; Johan Bos | Computational Semantics |
| 007788 (2003) |
Carsten Lutz Lutz ; Carlos Areces ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 007789 (2003) |
Carlos Areces ; Raffaella Bernardi | In Situ Binding : A Hybrid Approach |
| 007826 (2003) |
Carlos Areces ; Juan Heguiabehere | hGen : A Random CNF Formula Generator for Hybrid Languages |
| 007B89 (2003) |
Patrick Blackburn [France] ; Johan Bos | Computational Semantics |
| 007E01 (2003) |
Carsten Lutz ; Carlos Areces [France] ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 007E09 (2003) |
Carlos Areces [France] ; Raffaella Bernardi | In Situ Binding: A Hybrid Approach |
| 007F06 (2003) |
Carlos Areces [France] ; Juan Heguiabehere | hGen: A Random CNF Formula Generator for Hybrid Languages |
| 008D29 (2001) |
Patrick Blackburn [France] | Modal Logic as Dialogical Logic |
| 008E23 (2001) |
Carlos Areces [France] ; Raffaella Bernardi | Analyzing the Core of Categorial Grammar |
| 008E26 (2001) |
Patrick Blackburn ; Maarten De Rijke ; Yde Venema | Modal Logic |
| 009017 (2001) |
Patrick Blackburn | Modal Logic as Dialogical Logic |
| 009030 (2001) |
Patrick Blackburn ; Michael Kohlhase | Inference in Computational Semantics |
| 009155 (2001) |
Patrick Blackburn | Fine Grained Theories of Time |
| 009461 (2001) |
Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas] | Modal Logic |
| 009637 (2001) |
Patrick Blackburn [France] ; Michael Kohlhase [Canada] | Inference in Computational Semantics |
| 009653 (2001) |
Patrick Blackburn [France] | Fine Grained Theories of Time |
| 009786 (2000-05-30) |
Alexandre Denis [France] ; Guillaume Pitel [France] ; Matthieu Quignard [France] ; Patrick Blackburn [France] | Incorporating Asymmetric and Asynchronous Evidence of Understanding in a Grounding Model |
| 00B921 (1997) |
Patrick Blackburn ; Marc Dymetman ; Alain Lecomte ; Aarne Ranta ; Christian Retoré | Logical Aspects of Computational Linguistics : an introduction |
