Navegar

Colección

Datos Estadísticas

Artículo

Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. "A finite model property for gödel modal logics" (2013) 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237
El editor solo permite decargar el artículo en su versión post-print desde el repositorio. Por favor, si usted posee dicha versión, enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic. © 2013 Springer-Verlag Berlin Heidelberg.

Registro:

Documento: Artículo
Título:A finite model property for gödel modal logics
Autor:Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J.
Ciudad:Darmstadt
Filiación:Departamento de Matemáticas, Universidad de Los Andes, Bogotá, Colombia
Mathematical Institute, University of Bern, Switzerland
Departamento de Computación, Universidad de Buenos Aires, Argentina
Palabras clave:Finite model property; First-order; Kripke frames; Modal logic; Semantics; Computability and decidability
Año:2013
Volumen:8071 LNCS
Página de inicio:226
Página de fin:237
DOI: http://dx.doi.org/10.1007/978-3-642-39992-3-20
Título revista:20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8071LNCS_n_p226_Caicedo

Referencias:

  • Baaz, M., Fermüller, C.G., Analytic calculi for projective logics (1999) TABLEAUX 1999. LNCS (LNAI), 1617, pp. 36-51. , In: Murray, N. V. (ed. ) Springer, Heidelberg
  • Blackburn, P., De Rijke, M., Venema, Y., (2001) Modal Logic, , Cambridge University Press, Cambridge
  • Bobillo, F., Delgado, M., Ǵomez-Romero, J., Straccia, U., Fuzzy description logics under Gödel semantics (2009) International Journal of Approximate Reasoning, 50 (3), pp. 494-514
  • Bou, F., Esteva, F., Godo, L., Rodŕguez, R., On the minimum many-valued logic over a finite residuated lattice (2011) Journal of Logic and Computation, 21 (5), pp. 739-790
  • Bull, R.A., MIPC as formalisation of an intuitionist concept of modality (1966) Journal of Symbolic Logic, 31, pp. 609-616
  • Caicedo, X., Rodŕguez, R., Bi-modal Gödel logic over [0,1]-valued Kripke frames To Appear in Journal of Logic and Computation
  • Caicedo, X., Rodŕguez, R., Standard Gödel modal logics (2010) Studia Logica, 94 (2), pp. 189-214
  • Fischer Servi, G., Axiomatizations for some intuitionistic modal logics (1984) Rend. Sem. Mat. Polit de Torino, 42, pp. 179-194
  • Fitting, M.C., Many-valued modal logics (1991) Fundamenta Informaticae, 15 (3-4), pp. 235-254
  • Fitting, M.C., Many-valued modal logics II (1992) Fundamenta Informaticae, 17, pp. 55-73
  • H́ajek, P., (1998) Metamathematics of Fuzzy Logic, , Kluwer, Dordrecht
  • H́ajek, P., Making fuzzy description logic more general (2005) Fuzzy Sets and Systems, 154 (1), pp. 1-15
  • Metcalfe, G., Olivetti, N., Proof systems for a Gödel modal logic (2009) TABLEAUX 2009. LNCS (LNAI), 5607, pp. 265-279. , In: Giese, M., Waaler, A. (eds. ) Springer, Heidelberg
  • Metcalfe, G., Olivetti, N., Towards a proof theory of Gödel modal logics (2011) Log. Methods Comput. Sci., 7 (2), pp. 1-27
  • Priest, G., Many-valued modal logics: A simple approach (2008) Review of Symbolic Logic, 1, pp. 190-203
  • Prior, A., (1957) Time and Modality, , Clarendon Press, OxfordA4 - Technische Universitat Darmstadt (Fachbereich Mathematik); Universidade Federal de Pernambuco; Interest Group in Pure and Applied Logics (IGPL); Association for Logic, Language and Information (FoLLI); Association for Symbolic Logic (ASL)

Citas:

---------- APA ----------
Caicedo, X., Metcalfe, G., Rodríguez, R. & Rogger, J. (2013) . A finite model property for gödel modal logics. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013, 8071 LNCS, 226-237.
http://dx.doi.org/10.1007/978-3-642-39992-3-20
---------- CHICAGO ----------
Caicedo, X., Metcalfe, G., Rodríguez, R., Rogger, J. "A finite model property for gödel modal logics" . 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013 8071 LNCS (2013) : 226-237.
http://dx.doi.org/10.1007/978-3-642-39992-3-20
---------- MLA ----------
Caicedo, X., Metcalfe, G., Rodríguez, R., Rogger, J. "A finite model property for gödel modal logics" . 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013, vol. 8071 LNCS, 2013, pp. 226-237.
http://dx.doi.org/10.1007/978-3-642-39992-3-20
---------- VANCOUVER ----------
Caicedo, X., Metcalfe, G., Rodríguez, R., Rogger, J. A finite model property for gödel modal logics. Lect. Notes Comput. Sci. 2013;8071 LNCS:226-237.
http://dx.doi.org/10.1007/978-3-642-39992-3-20