Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/el/07/HorrocksHSS07
%A Horrocks, Ian
%A Hustadt, Ullrich
%A Sattler, Ulrike
%A Schmidt, Renate A.
%B Handbook of Modal Logic
%D 2007
%E Blackburn, Patrick
%E van Benthem, J. F. A. K.
%E Wolter, Frank
%I North-Holland
%K dblp
%P 181-245
%T Computational modal logic.
%U http://dblp.uni-trier.de/db/books/collections/BBW2007.html#HorrocksHSS07
%V 3
%@ 978-0-444-51690-9
@incollection{books/el/07/HorrocksHSS07,
added-at = {2022-04-12T00:00:00.000+0200},
author = {Horrocks, Ian and Hustadt, Ullrich and Sattler, Ulrike and Schmidt, Renate A.},
biburl = {https://www.bibsonomy.org/bibtex/23614c12b232bb7ff0bdfdfa43a7f2899/dblp},
booktitle = {Handbook of Modal Logic},
crossref = {books/el/07/BBW2007},
editor = {Blackburn, Patrick and van Benthem, J. F. A. K. and Wolter, Frank},
ee = {https://www.wikidata.org/entity/Q56988744},
interhash = {9fc71d19e3c5672ebd8658ff3d38233a},
intrahash = {3614c12b232bb7ff0bdfdfa43a7f2899},
isbn = {978-0-444-51690-9},
keywords = {dblp},
pages = {181-245},
publisher = {North-Holland},
series = {Studies in logic and practical reasoning},
timestamp = {2024-04-10T20:09:52.000+0200},
title = {Computational modal logic.},
url = {http://dblp.uni-trier.de/db/books/collections/BBW2007.html#HorrocksHSS07},
volume = 3,
year = 2007
}