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...

Full description

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