A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered. The most natural way to read this connective is often as a conjunction and yet, hypothetically, considered to hold of a state of affairs that could be obtained under the hypothesis. The connective can be given an intensional semantics extending a standard semantics of conditional logic that uses propositionally indexed families of binary relations on possible worlds. This semantics is determined by an adjoint relationship between the operations supporting the semantics of the conditional and the new conjunction. The semantics of the hypothetical conjunction connective subsumes the semantics, supported by a ternary relation semantics, of the fusion connective that arises in connection with substructural and relevant logics, and therefore subsumes a number of other forms of conjunction. A number of applications of the hypothetical conjunction connective are discussed, including generalized forms of resource reasoning used in computer science applications.logics, and therefore subsumes a number of other forms of conjunction. A number of applications of the hypothetical conjunction connective are discussed, including to generalized forms of resource reasoning of use in computer science applications.
|Number of pages||35|
|Journal||Journal of Logic and Computation|
|Early online date||19 Nov 2019|
|Publication status||Published - Nov 2019|
FingerprintDive into the research topics of 'A logic of hypothetical conjunction'. Together they form a unique fingerprint.
- School of Natural & Computing Sciences, Computing Science - Senior Lecturer
- Cybersecurity and Privacy