Deduction Systems for Multimodal Logics with Operations on Modalities

TamPub

Kuvailutiedot

dc.contributor.author Kuusisto, Antti -
dc.date.accessioned 2012-06-17T20:11:28Z
dc.date.available 2012-06-17 08:53:55 -
dc.date.available 2012-06-17T20:11:28Z
dc.date.issued 2007 -
dc.identifier.isbn 978-951-44-6998-5 -
dc.identifier.uri http://tampub.uta.fi/handle/10024/65735
dc.description.abstract This article is a brief, user friendly discourse on extensions of multi- modal logics with operations on modalities. Such logics are considered from a general point of view with the emphasis on the theory of deduc- tion systems. The first part of the article concentrates on developing general tools that lead to partial completeness results for logics where the algebra of modalities is effectively axiomatizable. The second part is devoted to the completeness issue of multimodal logic with union and intersection of modalities. A natural, straightforward axiomatization and a proof of completeness are given. -
dc.format.extent 35 -
dc.language.iso en -
dc.publisher Tampereen yliopisto -
dc.title Deduction Systems for Multimodal Logics with Operations on Modalities -
dc.type fi=Erillisteos | en=Monograph| -
dc.identifier.urn urn:isbn:978-951-44-6998-5 -
dc.type.version fi=Kustantajan versio | en=Publisher's version| -
dc.subject.okm fi=Matematiikka | en=Mathematics| -
dc.oldstats 1287 -
dc.subject.study Matematiikka - Mathematics -

Viite kuuluu kokoelmiin:

Kuvailutiedot