Dynamic memory allocation has been a fundamental part of most computer systems since
roughly 1960, and memory allocation is widely considered to be either a solved problem or …

Publisher Summary From the early 1930s, there evolved two kinds of mathematical
semantics for modal logic. Algebraic semantics interprets modal connectives as operators …

It is known (see the appendix to [4]) that S4 plus the BRouwERsche axiom is equivalent to
S5. The present paper will make it clear that this theorem is essentially equivalent to one …

Publisher Summary The chapter discusses a semantical analysis of intuitionistic logic I. The
chapter presents a semantical model theory for Heyting's intuitionist predicate logic and …

We show that a type system based on the intuitionistic modal logic S4 provides an
expressive framework for specifying and analyzing computation stages in the context of …

The title of this piece is not 'A Survey of Relevance Logic'. Such a project was impossible in
the mid 1980s when the first version of this article was published, due to the development of …

In the early seventies Kripke unveiled a line of thought that was designed to resuscitate
dualistic philosophies of mind.'This line of thought was greeted with a chorus of objections …

Researchers using epistemic logic as a formal framework for studying knowledge properties
of AI systems often interpret the knowledge formula K (x, φ) to mean that machine x encodes …

The laws of nature have come a long way since the time of Newton: quantum mechanics
and relativity have given us good reasons to take seriously the possibility of laws which may …

Some people have found my distinction between meaning and significance useful. In the
following revision of that distinction, I hope to improve its accuracy and perhaps, therefore …