Free-variable Tableaux for Propositional Modal Logics

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Rajeev Goré
Zeitschrift:Studia Logica
Nummer:1
Band:69
Jahr:2001
Seiten:59-96

BibTeX

@article{Beckert97b,
   author        = {Bernhard Beckert and Rajeev Gor\'e},
   title         = {Free-variable Tableaux for Propositional Modal Logics},
   journal       = {Studia Logica},
   volume        = {69},
   number        = {1},		  
   pages         = {59--96}, 		  
   year          = {2001}
}