| Texto completo | |
| Autor(es): |
Rabello, Guilherme de Souza
;
Finger, Marcelo
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE; v. 143, p. 14-pg., 2006-01-06. |
| Resumo | |
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the context of Massacci's modal Single Step Tableaux (SST). (AU) | |
| Processo FAPESP: | 03/00312-0 - Ccc-ahia - cooperacao e compartilhamento de conhecimento entre agentes heterogeneos inteligentes e autonomos. |
| Beneficiário: | Flávio Soares Corrêa da Silva |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications |
| Beneficiário: | Walter Alexandre Carnielli |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |