↓ Skip to main content

Logical Foundations of Computer Science

Overview of attention for book
Attention for Chapter 3: Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
Altmetric Badge

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
Chapter number 3
Book title
Logical Foundations of Computer Science
Published by
Springer, Cham, December 2019
DOI 10.1007/978-3-030-36755-8_3
Book ISBNs
978-3-03-036754-1, 978-3-03-036755-8
Authors

Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Mathematics 1 100%