Estudio de un cálculo proposicional con localización temporal
El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” para expresar “en el instante t se realiza \phi” mediante“Rt(\phi)”. Se co...
- Autores:
-
Muñoz, José
Márquez, Ramiro
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2002
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73495
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73495
http://bdigital.unal.edu.co/37971/
- Palabra clave:
- Cálculo proposicional
localización temporal
completitud
validez.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional