The Modal Logic S4F, the Default Logic, and the Logic Here-and-There - researchr publication

researchr

You are not signed in
Sign in
Sign up

Miroslaw Truszczynski. The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada. pages 508, AAAI Press, 2007.

Abstract is missing.

runs on WebDSL