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. Zoogeography of the Lanternfishes (Osteichthyes, Myctophidae) of Southwest Africa Simposio Internacional sobre las áreas de afloramiento más importantes del Oeste Africano : Internat...
  2. Synthesis of hydrophobic resorcinol–formaldehyde xerogels by grafting with silanes Hydrophilic organic xerogels were transformed into hydrophobic materials by treating them with hexam...
  3. Actividad citotóxica de nuevos componentes de oro y plata Estudio de la actividad citotóxica de catorce compuestos de coordinación de oro y plata y ligandos. ...
  4. Three decades of land-use changes in the region of Madrid and how they relate to territorial planning In recent decades, the region of Madrid has experienced extensive changes in land use-land cover (LU...
  5. The σ1 Receptor Engages the Redox-Regulated HINT1 Protein to Bring Opioid Analgesia Under NMDA Receptor Negative Control © Copyright 2015, Mary Ann Liebert, Inc. Aims: The in vivo pharmacology of the sigma 1 receptor (σ1R...

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.