Patrick Blackburn

Comput. Linguistics, 2007

Modal logic: a semantic perspective.

[BibT_eX]

[DOI]

Johan van Benthem

Proceedings of the Handbook of Modal Logic., 2007

2006

Arthur Prior and Hybrid Logic.

[BibT_eX]

[DOI]

Synth., 2006

Pure Extensions, Proof Rules, and Hybrid Axiomatics.

[BibT_eX]

[DOI]

Balder ten Cate

Stud Logica, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hybrid Logic, 2006

The Language of Time: A Reader.

[BibT_eX]

[DOI]

Comput. Linguistics, 2006

2005

PDL for Ordered Trees.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2005

Reichenbach, Prior and Montague: A Semantic Get-together.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

Representation and Inference for Natural Language - a First Course in Computational Semantics.

[BibT_eX]

[DOI]

Johan Bos

CSLI Studies in Computational Linguistics, CSLI Publications, ISBN: 978-1-57586-496-9, 2005

2004

Inference and Computational Semantics.

[BibT_eX]

[DOI]

Michael Kohlhase

J. Log. Lang. Inf., 2004

2003

Constructive interpolation in hybrid logic.

[BibT_eX]

[DOI]

J. Symb. Log., 2003

Repairing the interpolation theorem in quantified modal logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

Handling Boolean A Boxes.

[BibT_eX]

[DOI]

Bernadette Martínez Hernández

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Remarks on Gregory's "Actually" Operator.

[BibT_eX]

[DOI]

J. Philos. Log., 2002

Editorial.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2002

Tableaux for Quantified Hybrid Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Hybrid Logic and Description Logic.

[BibT_eX]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001

Modal Logic As Dialogical Logic.

[BibT_eX]

[DOI]

Synth., 2001

Bringing them all Together.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

Hybrid Logics: Characterization, Interpolation and Complexity.

[BibT_eX]

[DOI]

J. Symb. Log., 2001

Third International Workshop on Hybrid Logic (HyLo'01).

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Hybrid Ockhamist Temporal Logic.

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Situation Calculus as Hybrid Logic: First Steps.

[BibT_eX]

[DOI]

Jaap Kamps

Proceedings of the Progress in Artificial Intelligence, 2001

Modal Logic

[BibT_eX]

[DOI]

Yde Venema

Cambridge Tracts in Theoretical Computer Science 53, Cambridge University Press, ISBN: 978-1-10705088-4, 2001

2000

Internalizing labelled deduction.

[BibT_eX]

[DOI]

J. Log. Comput., 2000

Editorial: Alan Turing and Artificial Intelligence.

[BibT_eX]

[DOI]

Varol Akman

J. Log. Lang. Inf., 2000

Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

The Computational Complexity of Hybrid Temporal Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

1999

Basic Model Theory, Kees Doets.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1999

Hybrid Languages and Temporal Logic.

[BibT_eX]

[DOI]

Miroslava Tzakova

Log. J. IGPL, 1999

A Road-Map on Complexity for Hybrid Logics.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Hybrid Completeness.

[BibT_eX]

[DOI]

Miroslava Tzakova

Log. J. IGPL, 1998

Hybridizing Concept Languages.

[BibT_eX]

[DOI]

Miroslava Tzakova

Ann. Math. Artif. Intell., 1998

1997

Why Combine Logics?

[BibT_eX]

[DOI]

Stud Logica, 1997

Zooming In, Zooming Out.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1997

Logic, Language, and Information.

[BibT_eX]

[DOI]

Yde Venema

Proceedings of the Relational Methods in Computer Science., 1997

1996

Special Issue on Combining Logics - Editor's Introduction.

[BibT_eX]

[DOI]

Éric Villemonte de la Clergerie

Notre Dame J. Formal Log., 1996

Logical Aspects of Computational Linguistics: An Introduction.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 1996

What Are Hybrid Languages?

[BibT_eX]

Jerry Seligman

Proceedings of the Advances in Modal Logic 1, 1996

1995

Dynamic squares.

[BibT_eX]

[DOI]

Yde Venema

J. Philos. Log., 1995

Hybrid Languages.

[BibT_eX]

[DOI]

Jerry Seligman

J. Log. Lang. Inf., 1995

Introduction: Static and Dynamic Aspects of Syntactic Structure.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1995

A Specification Language for Lexical Functional Grammars.

[BibT_eX]

[DOI]

Claire Gardent

Proceedings of the EACL 1995, 1995

A Proof System for Finite Trees.

[BibT_eX]

[DOI]

Wilfried Meyer-Viol

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Tense, Temporal Reference, and Tense Logic.

[BibT_eX]

[DOI]

J. Semant., 1994

Linguistics, Logic and Finite Trees.

[BibT_eX]

[DOI]

Wilfried Meyer-Viol

Log. J. IGPL, 1994

Back and Forth Through Time and Events.

[BibT_eX]

[DOI]

Claire Gardent

Proceedings of the Temporal Logic, First International Conference, 1994

1993

Nominal Tense Logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1993

A modal perspective on the computational complexity of attribute value grammar.

[BibT_eX]

[DOI]

Edith Spaan

J. Log. Lang. Inf., 1993

Talking About Trees.

[BibT_eX]

[DOI]

Claire Gardent

Wilfried Meyer-Viol

Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics, 1993

1991

A Logical Approach To Arabic Phonology.

[BibT_eX]

[DOI]

Steven Bird

Proceedings of the EACL 1991, 1991

1990

Nominal tense logic and other sorted intensional frameworks.

[BibT_eX]

[DOI]