Hide metadata

dc.date.accessioned2018-02-05T15:54:32Z
dc.date.available2018-02-05T15:54:32Z
dc.date.created2016-09-15T14:45:03Z
dc.date.issued2016
dc.identifier.citationFritz, Peter . Post Completeness in Congruential Modal Logics. Advances in Modal Logic Volume 11. 2016, 288-301 College Publications
dc.identifier.urihttp://hdl.handle.net/10852/59865
dc.description.abstractWell-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics.en_US
dc.languageEN
dc.language.isoenen_US
dc.publisherCollege Publications
dc.titlePost Completeness in Congruential Modal Logicsen_US
dc.typeChapteren_US
dc.creator.authorFritz, Peter
cristin.unitcode185,14,33,0
cristin.unitnameInstitutt for filosofi, idé- og kunsthistorie og klassiske språk
cristin.ispublishedtrue
cristin.fulltextoriginal
dc.identifier.cristin1381846
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.btitle=Advances in Modal Logic Volume 11&rft.spage=288&rft.date=2016
dc.identifier.startpage288
dc.identifier.endpage301
dc.identifier.pagecount584
dc.identifier.urnURN:NBN:no-62513
dc.type.documentBokkapittelen_US
dc.type.peerreviewedPeer reviewed
dc.source.isbn978-1-84890-201-5
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/59865/1/Post%2BCompleteness%2Bin%2BCongruential%2BModal%2BLogics.pdf
dc.type.versionPublishedVersion
cristin.btitleAdvances in Modal Logic Volume 11


Files in this item

Appears in the following Collection

Hide metadata