Graph Games and Logic Design

Introduction to the main questions and answers in the literature since.- An essay on sabotage and obstruction.- Mechanizing Mathematical Reasoning.- Model checking and satisfiability for sabotage modal logic.- Modal logics of sabotage revisited.- Losing connection: the modal logic of definable link deletion.- Hybrid sabotage modal logic.- Conclusion.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Epistemologia e teoria do conhecimento: Filosofia
• Filosofia: a lógica

Graph games;Sabotage game;Hide and seek game;Dynamic logic and graph games;Epistemic logic and graph games;Winning strategy in graph games;Modal logics and graph games