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


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)  


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


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

Otros recursos que te pueden interesar

  1. Ultrastructure of the chorion and the micropyle of an endemic cyprinid fish, Cyprinion tenuiradius Heckel, 1849 (Teleostei: Cyprinidae) from southern Iran The scanning electron microscope was used to investigate the ultrastructures of the egg membrane sur...
  2. Morphological variability of the Aspius aspius taeniatus (Eichwald, 1831) in the Southern Caspian Sea Basin Traditional morphometric measurements and meristic counts were used to investigate the hypothesis of...
  3. Early development of the Amur sleeper (Perccottus glenii, Dybowski, 1877): a remarkable invasive species in Eurasia To investigate the ontogeny of Perccottus glenii, embryonic, larval and juvenile development of P. g...
  4. Synopsis of the parasites in Iranian freshwater fishes Two hundred forty-seven species of parasites from Iranian freshwater fishes are presented in this sy...
  5. Significant changes in pelagic fish stocks of Clupeonella spp. in the south Caspian Sea The present study was carried out during 2006-2007 along the southern Caspian Sea. The species compo...

Otros recursos de la mismacolección

  1. Actualism, Serious Actualism, and Quantified Modal Logic This article studies seriously actualistic quantified modal logics. A key component of the language ...
  2. Ostrowski Numeration Systems, Addition, and Finite Automata We present an elementary three-pass algorithm for computing addition in Ostrowski numeration systems...
  3. Nonreduction of Relations in the Gromov Space to Polish Actions We show that in the Gromov space of isometry classes of pointed proper metric spaces, the equivalenc...
  4. A Problem in Pythagorean Arithmetic Problem 2 at the 56th International Mathematical Olympiad (2015) asks for all triples $(a,b,c)$ of p...
  5. Two More Characterizations of K-Triviality We give two new characterizations of $K$ -triviality. We show that if for all $Y$ such that $\Omega$...

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.