Publication:4438104

zbMath1032.03031MaRDI QIDQ4438104

Christian Jacques Rentería, Edward Hermann Haeusler

Publication date: 9 December 2003

zbMATH Keywords

natural deduction; strong normalization; computation tree logic

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03F05: Cut-elimination and normal-form theorems

Related Items

A Labeled Natural Deduction System for a Fragment of CTL *