Terminating Tableau Calculi for Hybrid Logics extending K

Publication: Research - peer-review › Conference article – Annual report year: 2009

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Publication: Research - peer-review › Conference article – Annual report year: 2011
Preface
Publication: Research - peer-review › Editorial – Annual report year: 2011
Two-sorted Point-Interval Temporal Logics
Publication: Research - peer-review › Conference article – Annual report year: 2011
Analysis for Embedded Systems: Experiments with Priced Timed Automata
Publication: Research - peer-review › Journal article – Annual report year: 2010
Preface
Publication: Research › Conference article – Annual report year: 2011

Advances in Modal Logic : Volume 9
Publication: Research › Book – Annual report year: 2012
Conditional Epistemic Planning
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
CDIO Projects in DTU’s B.Eng. in IT Study Program
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Epistemic planning for single- and multi-agent systems
Publication: Research - peer-review › Journal article – Annual report year: 2010
From Frustration to Success: A Case-Study in Advanced Design-Build Experiences
Publication: Research - peer-review › Conference abstract in proceedings – Annual report year: 2011

Author: Bolander, Thomas
Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Kgs. Lyngby
Email:
Author: Blackburn, Patrick

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Publication date	2009
Volume	231
Journal number	25 March 2009
Pages	21-39
ISSN	1571-0661
DOIs	http://dx.doi.org/10.1016/j.entcs.2009.02.027
State	Published

Citations	Web of Science® Times Cited: No match on DOI

ID: 3411946