Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Free-variable Tableaux for Propositional Modal Logics

Journal Article

Author(s):Bernhard Beckert and Rajeev Goré
Journal:Studia Logica
Number:1
Volume:69
Year:2001
Pages: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}
}