On the size of shortest modal descriptions
We address the problems of separation and description in some fragments of modal logics. The former consists in finding a formula that is true in some given subset of the domain and false in another. The latter is a special case when one separates a singleton from the rest. We are interested in the...
Guardado en:
| Autores principales: | Figueira, S., Gorín, D. |
|---|---|
| Formato: | CONF |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_19049872_v8_n_p120_Figueira |
| Aporte de: |
Ejemplares similares
-
On the size of shortest modal descriptions
por: Figueira, Santiago Daniel, et al.
Publicado: (2010) -
The modal logic of copy and remove
por: Areces, Carlos Eduardo, et al.
Publicado: (2024) -
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
por: Areces, C., et al. -
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
Publicado: (2010) -
Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
Publicado: (2009)