Deterministic Tableau-Decision Procedure via Reductions for Modal Logic {K}

Authors

Joanna Golinska-Pilarek

Published

1 January 2013

Publication details

International Joint Conference SOCO’13-CISIS’13-ICEUTE’13 - Salamanca, Spain, September 11th-13th, 2013 Proceedings , Advances in Intelligent Systems and Computing vol. 239, pages 429–438.

Links

Abstract

Citation

Please, cite this work as:

[GMM13] J. Golinska-Pilarek, E. Mu~noz-Velasco, and Á. Mora. “Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K”. In: International Joint Conference SOCO’13-CISIS’13-ICEUTE’13 - Salamanca, Spain, September 11th-13th, 2013 Proceedings. Ed. by Á. Herrero, B. Baruque, F. Klett, A. Abraham, V. Snásel, A. C. P. de Leon Ferreira, P. Garc', I. Zelinka, H. Quintián and E. Corchado. Vol. 239. Advances in Intelligent Systems and Computing. Springer, 2013, pp. 429-438. DOI: 10.1007/978-3-319-01854-6_44. URL: https://doi.org/10.1007/978-3-319-01854-6_44.

BibTeX

@InProceedings{GolinskaPilarek2013,
     author = {Joanna Golinska-Pilarek and Emilio Mu~noz-Velasco and {’A}ngel Mora},
     booktitle = {International Joint Conference SOCO’13-CISIS’13-ICEUTE’13 - Salamanca, Spain, September 11th-13th, 2013 Proceedings},
     title = {Deterministic Tableau-Decision Procedure via Reductions for Modal Logic {K}},
     year = {2013},
     editor = {{’A}lvaro Herrero and Bruno Baruque and Fanny Klett and Ajith Abraham and V{’a}clav Sn{’a}sel and Andr{’e} Carlos Ponce {de Leon Ferreira} and Pablo Garc'Bringas and Ivan Zelinka and H{’e}ctor Quinti{’a}n and Emilio Corchado},
     pages = {429–438},
     publisher = {Springer},
     series = {Advances in Intelligent Systems and Computing},
     volume = {239},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/softcomp/Golinska-PilarekMM13.bib},
     doi = {10.1007/978-3-319-01854-6_44},
     timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
     url = {https://doi.org/10.1007/978-3-319-01854-6_44},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

Citations
Scopus - Citation Indexes: 2

Captures
Mendeley - Readers: 2

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] J. Golińska-Pilarek, E. Muñoz-Velasco, and A. Mora. “Tableau reductions: Towards an optimal decision procedure for the modal necessity”. In: Journal of Applied Logic 17 (Sep. 2016), p. 14–24. ISSN: 1570-8683. DOI: 10.1016/j.jal.2015.09.005. URL: http://dx.doi.org/10.1016/j.jal.2015.09.005.