Advanced search

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:

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.
@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},
}