Publications

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

AuthID
P-00V-MMF

Author(s)

Benevides, MRF

Madeira, A

Martins, MA

Editor(s)

Hojjat,H;Massink,M

Document Type

Proceedings Paper

Year published

2021

Published

in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12818, Pages: 53-68

Conference

9Th International Conference on Fundamentals of Software Engineering, Fsen 2021, Date: 19 May 2021 through 21 May 2021

Indexing

Scopus^®

Dblp^®/en/publications/view/905871

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-89247-0_4

DBLP: conf/fsen/BenevidesMM21

SCOPUS: 2-s2.0-85118177501

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Useful Links

Get Help

Federated Authentication (Click on the image)

Adding Proof Calculi to Epistemic Logics with Structured Knowledge

Useful Links

Get Help