1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

There are two known general results on the finite model property (fmp) of commutators $[L_{0},L_{1}]$ (bimodal logics with commuting and confluent modalities). If $L$ is finitely axiomatizable by modal formulas having universal Horn first-order correspondents, then both $[L,\mathbf{K}]$ and $[L,\mathbf{S5}]$ are determined by classes of frames that admit filtration, and so they have the fmp. On the negative side, if both $L_{0}$ and $L_{1}$ are determined by transitive frames and have frames of arbitrarily large depth, then $[L_{0},L_{1}]$ does not have the fmp. In this paper we show that commutators with a “weakly connected” component often lack the fmp. Our results imply that the above positive result does not generalize to universally axiomatizable component logics, and even commutators without “transitive” components such as $[\mathbf{K3},\mathbf{K}]$ can lack the fmp. We also generalize the above negative result to cases where one of the component logics has frames of depth one only, such as $[\mathbf{S4.3},\mathbf{S5}]$ and the decidable product logic $\mathbf{S4.3}\!\times\!\mathbf{S5}$ . We also show cases when already half of commutativity is enough to force infinite frames.

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

Autor(es)

Kurucz, Agi - 

Id.: 69790186

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clavemultimodal logic - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 2017 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 16-abr-2017

Contacto:

Localización:
* Notre Dame J. Formal Logic 58, no. 2 (2017), 287-299
* doi:10.1215/00294527-3870247

Otros recursos que te pueden interesar

  1. Modelo mixto con un estimador suavizado de la densidad de los efectos aleatorios. Una aplicación Una herramienta importante para el análisis de datos longitudinales son los modelos lineales mixtos....
  2. Comparación de modelos para el control de sesgos en estudios ecológicos Entre los tipos de estudios más frecuentemente utilizados en epidemiología se encuentran los estudio...
  3. Implementación de un modelo matemático distribuido de escurrimiento superficial en la cuenca del Río Tercero - Carcarañá Se presenta la implementación y calibración preliminar de un modelo matemático distribuido, hidrológ...
  4. Development of a second–order standard addition fluorescence method for the direct determination of riboflavin in human urine samples without previous clean up and separation steps A new strategy for the determination of riboflavin (RF, or vitamin B2) in human urine samples has be...
  5. Molecular characterisation of two known species of Paratylenchus Micoletzky, 1922 from Iran with notes on the validity of Paratylenchus audriellus Brown, 1959 During a survey on pin nematodes in western Iran, two populations of Paratylenchus audriellus and Pa...

Otros recursos de la mismacolección

  1. Ekman’s Paradox Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose r...
  2. Forking and Dividing in Henson Graphs For $n\geq3$ , define $T_{n}$ to be the theory of the generic $K_{n}$ -free graph, where $K_{n}$ is ...
  3. Grades of Discrimination: Indiscernibility, Symmetry, and Relativity There are several relations which may fall short of genuine identity, but which behave like identity...
  4. New Degree Spectra of Abelian Groups We show that for every computable ordinal of the form $\beta=\delta+2n+1\gt 1$ , where $\delta$ is z...
  5. Prospects for a Naive Theory of Classes The naive theory of properties states that for every condition there is a property instantiated by e...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.