ABSTRACT: A main advantage of Architecture Description Languages (ADL) is their aptitude to facilitate formal analysis and verification of complex software architectures. Since some researchers try to ...

In this lecture we establish an axiomatic system for intuitionistic modal logic and relate it to natural deduction. Computationally, the axiomatic system corresponds to combinatory logic due to Curry.

Richard Feynman, winner of the 1965 Nobel Prize in Physics and world renown “curious character,” gives us an insightful 1985 lecture about computer heuristics: how computers work, how they file ...

This webpage contains the slides, handouts and homeowork assignments for the course Proof Theory of Modal Logic, which will take place within the 5th Tsinghua Logic Summer School, organized by the ...