HAL

swMATH4603MaRDI QIDQ16774FDOQ16774

Author name not available (Why is that?)

Official website: http://www.it.uu.se/profundis/Year2/Deliv2/A.1.2.8.pdf

Described by source

• A complete modal proof system for HAL: the Herbrand agent language

Cited In (1)

• Title not available (Why is that?)

This page was built for software: HAL