Free-Variable Tableaux for Propositional Modal Logics

@article{Beckert2001FreeVariableTF,
  title={Free-Variable Tableaux for Propositional Modal Logics},
  author={Bernhard Beckert and Rajeev Gor{\'e}},
  journal={Studia Logica},
  year={2001},
  volume={69},
  pages={59-96}
}
Highly Cited
This paper has 68 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
43 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

69 Citations

051015'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…