Un cálculo temporal de predicados de tipo modal
Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo sufici...
- Autores:
-
Muñoz Quevedo, José M.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1995
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31637
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31637
http://bdigital.unal.edu.co/21716/
- Palabra clave:
- cálculo predicativo temporal de tipo modal
teoría de conjuntos
lógica temporal
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | Se construye un cálculo predicativo temporal de tipo modal, referido solamente al pasado, con una semántica natural de estructuras con dominios crecientes con el tiempo. Se hallan esquemas y reglas válidas para esta semántica y con algunas de ellas se axiomatiza el sistema, desarrollándolo lo suficiente para que sirva como marco lógico sobre el cual pueda construirse en el futuro una teoría temporal de conjuntos. |
|---|