Deduction Systems for Multimodal Logics with Operations on Modalities


Kuvailutiedot Kuusisto, Antti - 2012-06-17T20:11:28Z 2012-06-17 08:53:55 - 2012-06-17T20:11:28Z 2007 -
dc.identifier.isbn 978-951-44-6998-5 -
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 -

Viite kuuluu kokoelmiin: