Inproceedings,
Axiomatic and Tableau-Based Reasoning for Kt(H, R).
R. Schmidt, J. Stell, and D. Rydeheard.Advances in Modal Logic, page 478-497. College Publications, (2014)
Meta data
- BibTeX key
- conf/aiml/SchmidtSR14
- entry type
- inproceedings
- booktitle
- Advances in Modal Logic
- year
- 2014
- pages
- 478-497
- publisher
- College Publications
- crossref
- conf/aiml/2014
- ee
- http://www.aiml.net/volumes/volume10/Schmidt-Stell-Rydeheard.pdf
- isbn
- 978-1-84890-151-3
- url
- http://dblp.uni-trier.de/db/conf/aiml/aiml2014.html#SchmidtSR14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aiml/SchmidtSR14
%A Schmidt, Renate A.
%A Stell, John G.
%A Rydeheard, David E.
%B Advances in Modal Logic
%D 2014
%E Goré, Rajeev
%E Kooi, Barteld P.
%E Kurucz, Agi
%I College Publications
%K dblp
%P 478-497
%T Axiomatic and Tableau-Based Reasoning for Kt(H, R).
%U http://dblp.uni-trier.de/db/conf/aiml/aiml2014.html#SchmidtSR14
%@ 978-1-84890-151-3
@inproceedings{conf/aiml/SchmidtSR14,
added-at = {2020-03-12T00:00:00.000+0100},
author = {Schmidt, Renate A. and Stell, John G. and Rydeheard, David E.},
biburl = {https://www.bibsonomy.org/bibtex/245edcffdbbd7a500f7b5d39d89364de3/dblp},
booktitle = {Advances in Modal Logic},
crossref = {conf/aiml/2014},
editor = {Goré, Rajeev and Kooi, Barteld P. and Kurucz, Agi},
ee = {http://www.aiml.net/volumes/volume10/Schmidt-Stell-Rydeheard.pdf},
interhash = {25d23bb5d1065c1782377bcff349e68e},
intrahash = {45edcffdbbd7a500f7b5d39d89364de3},
isbn = {978-1-84890-151-3},
keywords = {dblp},
pages = {478-497},
publisher = {College Publications},
timestamp = {2024-04-09T20:03:17.000+0200},
title = {Axiomatic and Tableau-Based Reasoning for Kt(H, R).},
url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2014.html#SchmidtSR14},
year = 2014
}