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
- Status:
- Nenhuma versão em acesso aberto identificada
-
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: 10 abr. 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 abr. 10 ] 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 abr. 10 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9 - Revising formal program specifications using KMTS
- Revision of CTL models
- Belief revision on computation tree logic
- Revisão de modelos CTL
- Revisão de crenças temporais
- 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
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
