Toward the revision of CTL models through Kripke modal transition systems (2013)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- DOI: 10.1007/978-3-642-41071-0_9
- Subjects: LÓGICA MODAL; REVISÃO DE CRENÇAS
- Keywords: Model Check; Partial Information; Winning Strategy; Kripke Model
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
GUERRA, Paulo T e ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 02 jan. 2026. -
APA
Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9 -
NLM
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2026 jan. 02 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9 -
Vancouver
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2026 jan. 02 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9 - Revision of CTL models
- Revising formal program specifications using KMTS
- Belief revision on computation tree logic
- Revisão de modelos CTL
- Revisão de crenças temporais
- 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
- Contractions based on optimal repairs (extended abstract)
Informações sobre o DOI: 10.1007/978-3-642-41071-0_9 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
