Relational dual tableau decision procedure for modal logic {K}
Abstract
Journal Article Relational dual tableau decision procedure for modal logic K Get access Joanna Golińska-Pilarek, Joanna Golińska-Pilarek Institute of Philosophy, University of Warsaw and National Institute of Telecommunications, Poland.E-mail: j.golinska@uw.edu.pl Search for other works by this author on: Oxford Academic Google Scholar Emilio Muñoz-Velasco, Emilio Muñoz-Velasco Department of Applied Mathematics, University of Málaga, Málaga, Spain.E-mail: emilio@ctima.uma.es; amora@ctima.uma.es Search for other works by this author on: Oxford Academic Google Scholar Angel Mora-Bonilla Angel Mora-Bonilla Department of Applied Mathematics, University of Málaga, Málaga, Spain.E-mail: emilio@ctima.uma.es; amora@ctima.uma.es Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 20, Issue 4, August 2012, Pages 747–756, https://doi.org/10.1093/jigpal/jzr019 Published: 10 February 2011 Article history Received: 02 January 2011 Published: 10 February 2011
Citation
Please, cite this work as:
[GMM12] J. Golinska-Pilarek, E. Mu~noz-Velasco, and A. Mora-Bonilla. “Relational dual tableau decision procedure for modal logic K”. In: Log. J. IGPL 20.4 (2012), pp. 747-756. DOI: 10.1093/JIGPAL/JZR019. URL: https://doi.org/10.1093/jigpal/jzr019.
Bibliometric data
The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.
- Citations
- CrossRef - Citation Indexes: 5
- Scopus - Citation Indexes: 6
- Captures
- Mendeley - Readers: 4
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.
[2] D. Cantone and M. Nicolosi-Asmundo. “Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 169–202. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_7. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_7.
[3] E. Corchado and P. Novais. “Special issue: SOCO 2010-CMMSE 2010”. In: Logic Journal of IGPL 20.4 (Apr. 2011), p. 645–647. ISSN: 1368-9894. DOI: 10.1093/jigpal/jzr012. URL: http://dx.doi.org/10.1093/jigpal/jzr012.
[4] P. Doherty and A. Szałas. “Signed Dual Tableaux for Kleene Answer Set Programs”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 233–252. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_9. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_9.
[5] J. Golińska-Pilarek, T. Huuskonen, and E. Muñoz-Velasco. “Relational dual tableau decision procedures and their applications to modal and intuitionistic logics”. In: Annals of Pure and Applied Logic 165.2 (Feb. 2014), p. 409–427. ISSN: 0168-0072. DOI: 10.1016/j.apal.2013.06.003. URL: http://dx.doi.org/10.1016/j.apal.2013.06.003.
[6] J. Golińska-Pilarek, E. Muñoz-Velasco, and A. Mora. “Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K”. In: International Joint Conference SOCO’13-CISIS’13-ICEUTE’13. Springer International Publishing, 2014, p. 429–438. ISBN: 9783319018546. DOI: 10.1007/978-3-319-01854-6_44. URL: http://dx.doi.org/10.1007/978-3-319-01854-6_44.