Logics for Epistemic Actions: Completeness, Decidability, Expressivity

datacite.relatedItem.firstPage97
datacite.relatedItem.issue2
datacite.relatedItem.relatedIdentifierTypeISSN
datacite.relatedItem.relatedItemIdentifier2813-0405
datacite.relatedItem.relationTypeIsPublishedIn
datacite.relatedItem.titleLogics
datacite.relatedItem.volume1
dc.contributor.authorAlexandru Baltag
dc.contributor.authorLawrence S. Moss
dc.contributor.authorSÅ‚awomir Solecki
dc.date.accessioned2025-02-25T12:49:42Z
dc.date.available2025-02-25T12:49:42Z
dc.date.issued2023
dc.identifier.doihttps://doi.org/10.3390/logics1020006
dc.identifier.otherjz000116-0008
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10606
dc.publisherMDPI AG
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleLogics for Epistemic Actions: Completeness, Decidability, Expressivity
dc.typeArticle
dcat.distribution.pdfhttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10607
dcat.distribution.supplierxmlhttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10608
dspace.entity.typeDataset
relation.isDistributionOfDataset4727813a-39f8-45b0-b1fc-586ef43ee48d
relation.isDistributionOfDataset7c7b0a3a-082a-4806-9d4e-e98fe66eb3db
relation.isDistributionOfDataset51eead35-9ff8-4383-b48c-480cdf5e5d38
relation.isDistributionOfDataset.latestForDiscovery4727813a-39f8-45b0-b1fc-586ef43ee48d
wdm.archivematicaaipuuid.originale96673de-d30c-456e-bf00-775dc2fce97d

Files

Collections