Navegar

Colección

Datos Estadísticas

Artículo

Carreiro, F. "On characterization, definability and ω-saturated models" (2011) 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011. 6916 LNCS:62-76
La versión final de este artículo es de uso interno. El editor solo permite incluir en el repositorio el artículo en su versión post-print. Por favor, si usted la posee enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Two important classic results about modal expressivity are the Characterization and Definability theorems. We develop a general theory for modal logics below first order (in terms of expressivity) which exposes the following result: Characterization and Definability theorems hold for every (reasonable) modal logic whose ω models have the Hennessy-Milner property. The results are presented in a general version which is relativized to classes of models. © 2011 Springer-Verlag.

Registro:

Documento: Artículo
Título:On characterization, definability and ω-saturated models
Autor:Carreiro, F.
Ciudad:Johannesburg
Filiación:Dto. de Computación, FCEyN, Universidad de Buenos Aires, Argentina
Palabras clave:Definability; First order; General theory; General version; Modal logic; Saturated model; Formal logic; Characterization
Año:2011
Volumen:6916 LNCS
Página de inicio:62
Página de fin:76
DOI: http://dx.doi.org/10.1007/978-3-642-23283-1_7
Título revista:8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6916LNCS_n_p62_Carreiro

Referencias:

  • Blackburn, P., De Rijke, M., Venema, Y., (2001) Modal Logic, , Cambridge University Press, Cambridge
  • Kamp, H., (1968) Tense Logic and the Theory of Linear Order, , PhD thesis, University of Califormia, Los Angeles
  • Goranko, V., Passy, S., Using the universal modality: Gains and questions (1992) Journal of Logic and Computation, 2 (1), pp. 5-30
  • De Rijke, M., The modal logic of inequality (1992) Journal of Symbolic Logic, 57, pp. 566-584
  • Kozen, D., Results on the propositional μ-calculus (1983) Theoretical Computer Science, 27 (3), pp. 333-354
  • Sangiorgi, D., On the origins of bisimulation and coinduction (2009) ACM Trans. Program. Lang. Syst., 31 (4), pp. 1-41
  • Van Benthem, J., (1976) Modal Correspondence Theory, , PhD thesis, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van Exacte Wetenschappen
  • Chang, C.C., Keisler, H.J., (1973) Model Theory. Studies in Logic and the Foundations of Mathematics, 73. , Elsevier Science B.V., Amsterdam
  • Kurtonina, N., De Rijke, M., Simulating without negation (1997) Journal of Logic and Computation, 7, pp. 503-524
  • Kurtonina, N., De Rijke, M., Bisimulations for temporal logic (1997) Journal of Logic, Language and Information, 6, pp. 403-425
  • Keisler, H.J., The ultraproduct construction Proceedings of the Ultramath Conference, Pisa, Italy (2008)
  • Hansen, H.H., (2003) Monotonic Modal Logics, , Master's thesis, ILLC, University of Amsterdam
  • Carreiro, F., (2010) Characterization and Definability in Modal First-order Fragments, , Master's thesis, Universidad de Buenos Aires arXiv:1011.4718
  • Areces, C., Figueira, D., Figueira, S., Mera, S., Expressive power and decidability for memory logics (2008) LNCS (LNAI), 5110, pp. 56-68. , Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. Springer, Heidelberg
  • Areces, C., Figueira, D., Figueira, S., Mera, S., The expressive power of memory logics Review of Symbolic Logic, , to appear
  • Rosen, E., Modal logic over finite structures (1995) Journal of Logic, Language and Information, 6, pp. 95-127
  • Kurtonina, N., De Rijke, M., Classifying description logics (1997) Description Logics, 410. , Brachman, R.J., Donini, F.M., Franconi, E., Horrocks, I., Levy, A.Y., Rousset, M.C. (eds.) URA-CNRS
  • Otto, M., (2004) Elementary Proof of the Van Benthem-Rosen Characterisation Theorem, , Technical Report 2342, Department of Mathematics, Technische Universität Darmstadt
  • Hollenberg, M., (1998) Logic and Bisimulation, , PhD thesis, Philosophical Institute, Utrecht University
  • Areces, C., Gorín, D., Coinductive models and normal forms for modal logics (2010) Journal of Applied Logic, , to appear
  • Blackburn, P., Van Benthem, J., Wolter, F., (2006) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, 3. , Elsevier Science Inc., New York

Citas:

---------- APA ----------
(2011) . On characterization, definability and ω-saturated models. 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011, 6916 LNCS, 62-76.
http://dx.doi.org/10.1007/978-3-642-23283-1_7
---------- CHICAGO ----------
Carreiro, F. "On characterization, definability and ω-saturated models" . 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 6916 LNCS (2011) : 62-76.
http://dx.doi.org/10.1007/978-3-642-23283-1_7
---------- MLA ----------
Carreiro, F. "On characterization, definability and ω-saturated models" . 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011, vol. 6916 LNCS, 2011, pp. 62-76.
http://dx.doi.org/10.1007/978-3-642-23283-1_7
---------- VANCOUVER ----------
Carreiro, F. On characterization, definability and ω-saturated models. Lect. Notes Comput. Sci. 2011;6916 LNCS:62-76.
http://dx.doi.org/10.1007/978-3-642-23283-1_7