DMCA

Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. (Technical Report)

Cached

Download Links

by Er Bolotov , Oleg Grigoriev