On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- Subjects: LÓGICA; COMPUTABILIDADE E COMPLEXIDADE; REVISÃO DE CRENÇAS
- Keywords: Linear-time Temporal Logic
- Language: Inglês
- Imprenta:
- Source:
- Título: South American Journal of Logic
- ISSN: 2446-6719
- Volume/Número/Paginação/Ano: v. 4, n. 2, p. 385-406, 2018
- Conference titles: Brazilian Logic Conference - EBL
-
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 12 fev. 2026. , 2018 -
APA
Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf -
NLM
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2026 fev. 12 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf -
Vancouver
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2026 fev. 12 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf - Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
- A contraction core for Horn belief change: preliminary report
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2966295.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
