Axiomatic and tableau-based reasoning for Kt(H,R)

Schmidt, RA, Stell, JG and Rydeheard, DE (2014) Axiomatic and tableau-based reasoning for Kt(H,R). In: Goré, R, Kooi, B and Kurucz, A, (eds.) Advances in Modal Logic. Advances In Modal Logic, 5-8 August 2014, Groningen, Netherlands. College Publications , 478 - 497. ISBN 978-1-84890-151-3

Abstract

Metadata

Authors/Creators:
  • Schmidt, RA
  • Stell, JG
  • Rydeheard, DE
Copyright, Publisher and Additional Information: © 2014, Author(s). This is an author produced version of a paper published in Advances in Modal Logic. Uploaded with permission from the publisher.
Dates:
  • Published: 2014
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 22 Jan 2015 10:47
Last Modified: 24 Apr 2015 12:08
Published Version: http://www.aiml.net/volumes/volume10/
Status: Published
Publisher: College Publications

Share / Export

Statistics