Tableau reductions: Towards an optimal decision procedure for the modal necessity

 

Abstract

Citation

Please, cite this work as:

[GMM16] J. Golinska-Pilarek, E. Mu~noz-Velasco, and Á. Mora. “Tableau reductions: Towards an optimal decision procedure for the modal necessity”. In: J. Appl. Log. 17 (2016), pp. 14-24. DOI: 10.1016/J.JAL.2015.09.005. URL: https://doi.org/10.1016/j.jal.2015.09.005.

NoteBibTeX

@Article{GolinskaPilarek2016,
     author = {Joanna Golinska-Pilarek and Emilio Mu~noz-Velasco and {’A}ngel Mora},
     journal = {J. Appl. Log.},
     title = {Tableau reductions: Towards an optimal decision procedure for the modal necessity},
     year = {2016},
     pages = {14–24},
     volume = {17},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/japll/Golinska-Pilarek16.bib},
     doi = {10.1016/J.JAL.2015.09.005},
     timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
     url = {https://doi.org/10.1016/j.jal.2015.09.005},
}

Bibliometric data

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

Tableau reductions: Towards an optimal decision procedure for the modal necessity

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] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 203–231. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_8. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_8.