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: 28 dez. 2025. , 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 2025 dez. 28 ] 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 2025 dez. 28 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf - On AGM for Non-Classical Logics
- Ontology repair through partial meet contraction
- Seminar on Ontology Research in Brazil, 6: proceedings
- Hyperintensional models and belief change
- Horn belief change: a contraction core
- Hyperintensional Partial Meet Contractions
- Belief contraction in non-classical logics as hyperintensional belief change
- Contractions based on optimal repairs (extended abstract)
- Local change
- Belief revision and computer science
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
