Advanced search
Add to list

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
Author
Organization

Citation

Please use this url to cite or link to this publication:

MLA
Batens, Diderik, and Joke Meheus. “Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.” STUDIA LOGICA 69 (2001): 221–248. Print.
APA
Batens, D., & Meheus, J. (2001). Shortcuts and dynamic marking in the tableau method for adaptive logics. STUDIA LOGICA, 69, 221–248.
Chicago author-date
Batens, Diderik, and Joke Meheus. 2001. “Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.” Studia Logica 69: 221–248.
Chicago author-date (all authors)
Batens, Diderik, and Joke Meheus. 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.
IEEE
[1]
D. Batens and J. Meheus, “Shortcuts and dynamic marking in the tableau method for adaptive logics,” STUDIA LOGICA, vol. 69, pp. 221–248, 2001.
@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},
}