A van Benthem theorem for fuzzy modal logic

Simple item page
dc.contributor.authorWild, Paul
dc.contributor.authorSchroder, Lutz
dc.contributor.authorPattinson, Dirk
dc.contributor.authorKonig, Barbara
dc.coverage.spatialOxford, United Kingdom
dc.date.accessioned2019-08-12T06:56:50Z
dc.date.created9 July 2018 through 12 July 2018
dc.date.issued2018
dc.date.updated2022-05-15T08:16:08Z
dc.description.abstractWe present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate logic along with its modal fragment, and show that the fuzzy first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are exactly those that can be approximated by fuzzy modal formulas.
dc.format.extent10 pages
dc.format.mimetypeapplication/pdfen_AU
dc.identifier.isbn9781450355834en_AU
dc.identifier.urihttp://hdl.handle.net/1885/165005
dc.language.isoen_AUen_AU
dc.publisherACM
dc.relation.ispartofseries33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
dc.rights© 2018 Copyright held by the owner/author(s). Publication rights licensed to the Association for Computing Machinery.
dc.sourceProceedings of LICS ’18: 33rdAnnual ACM/IEEE Symposium on Logic in Computer Science
dc.titleA van Benthem theorem for fuzzy modal logic
dc.typeConference paper
local.contributor.affiliationWild, Paul, Friedrich-Alexander-Universistaten_AU
local.contributor.affiliationSchroder, Lutz, Friedrich-Alexander Universitaten_AU
local.contributor.affiliationPattinson, Dirk, College of Engineering and Computer Science, ANUen_AU
local.contributor.affiliationKonig, Barbara, Universitat Duisburg-Essenen_AU
local.contributor.authoremailrepository.admin@anu.edu.auen_AU
local.contributor.authoruidPattinson, Dirk, u4762643en_AU
local.description.embargo2037-12-31
local.description.notesImported from ARIESen_AU
local.description.refereedYes
local.identifier.absfor100603 - Logic Designen_AU
local.identifier.absfor080108 - Neural, Evolutionary and Fuzzy Computationen_AU
local.identifier.ariespublicationa383154xPUB10507en_AU
local.identifier.doi10.1145/3209108.3209180en_AU
local.identifier.scopusID2-s2.0-85051113439
local.identifier.thomsonIDWOS:000545262800091
local.identifier.uidSubmittedBya383154en_AU
local.publisher.urlhttps://dl.acm.org/en_AU
local.type.statusPublished Versionen_AU

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Wild_A_van_Benthem_theorem_for_2018.pdf
Size:
678.08 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS