Revising system specifications in temporal logic

DOI10.1007/s10849-022-09376-9zbMath1515.68180MaRDI QIDQ6097773

Paulo T. Guerra, Renata Wassermann

Publication date: 7 June 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

belief revisiontemporal logicmodel repair

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Results on the propositional \(\mu\)-calculus
• Two modellings for theory change
• Symbolic model checking: \(10^{20}\) states and beyond
• Local change
• Enhancing model checking in verification by AI techniques
• A textbook of belief dynamics. Theory change and database updating
• Propositional belief base update and minimal change
• Two AGM-style characterizations of model repair
• On the logic of theory change: Partial meet contraction and revision functions
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Toward the Revision of CTL Models through Kripke Modal Transition Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item