Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics

Details Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics

2011-05-02

arxiv.org/abs/1105.0354v2

Mathematics

Logic

8 pages, work in progress

Scientific paper

We briefly examine the modal formulae that can be derived in Multiplicative
Additive Linear Logic (MALL) and some extensions by using Tarksi's extensional
modal operators. We also breifly compare this with a substructural form of the
modal logic K.

Affiliated with

Also associated with

No associations

Rating

Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modality for Free: Notes on Adding the Tarskian Möglichkeit to Substructural Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-427678