Ghent University Academic Bibliography

Advanced

Shortcuts and dynamic marking in the tableau method for adaptive logics

Diderik Batens UGent and Joke Meheus UGent (2001) STUDIA LOGICA. 69. p.221-248
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
journal title
STUDIA LOGICA
Stud. log.
volume
69
pages
221 - 248
ISSN
0039-3215
language
English
UGent publication?
yes
classification
A2
VABB id
c:vabb:187219
VABB type
VABB-1
id
134879
handle
http://hdl.handle.net/1854/LU-134879
date created
2004-01-14 13:37:00
date last changed
2016-12-19 15:38:53
@article{134879,
  author       = {Batens, Diderik and Meheus, Joke},
  issn         = {0039-3215},
  journal      = {STUDIA LOGICA},
  language     = {eng},
  pages        = {221--248},
  title        = {Shortcuts and dynamic marking in the tableau method for adaptive logics},
  volume       = {69},
  year         = {2001},
}

Chicago
Batens, Diderik, and Joke Meheus. 2001. “Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.” Studia Logica 69: 221–248.
APA
Batens, D., & Meheus, J. (2001). Shortcuts and dynamic marking in the tableau method for adaptive logics. STUDIA LOGICA, 69, 221–248.
Vancouver
1.
Batens D, Meheus J. Shortcuts and dynamic marking in the tableau method for adaptive logics. STUDIA LOGICA. 2001;69:221–48.
MLA
Batens, Diderik, and Joke Meheus. “Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.” STUDIA LOGICA 69 (2001): 221–248. Print.