The purpose of this paper is to develop a class of semantic tableau systems for some counterfactual logics. All in all I will discuss 1024 systems. Possible world semantics is used to interpret our formal languages. Soundness results are obtained for every tableau system and completeness results for a large subclass of these.

The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained for all 16 pure dyadic deontic systems and for 16 alethic dyadic deontic systems.

We often use sentences that seem conditional in nature when we reason about normative issues, e.g. ‘If you have promised to do something, you should keep your promise’ and ‘If you have done something bad, you should apologize’. We seem to think that promise-making in some sense commits us to promise-keeping and that acting bad in some sense creates an obligation to apologize. It is, however, not obvious how we should symbolize such sentences in a formal language. The purpose of this essay is to investigate some different possible formalizations of different conditional obligation sentences. I consider seven different interpretations of the concept of commitment or conditional obligation and I say something about the logical properties of these different interpretations.

Many interesting philosophical principles include two kinds of modalities, e.g. epistemic and doxastic, alethic and epistemic, or alethic and deontic modalities. The purpose of this essay is to describe a set of bimodal systems, i.e. systems that include two kinds of modal operators, in which it is possible to investigate some formalizations of such principles. All in all we will consider 4,194,304 logics. All logics are described semantically and proof theoretically. We use possible world semantics to characterize the logics semantically and both axiomatic systems and semantic tableaux to characterize them proof theoretically. We show that all systems are sound and complete with respect to their semantics and we consider some relationships between the various systems.

The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T ×W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.