Display calculi and other modal calculi
A comparison
Bibliographic Data
| ID | 10813843 |
|---|---|
| Authors | Francesca Poggiolesi (0009-0007-4867-3799, Vrije Universiteit Brussel, corresponding author) |
| Year | 2010 |
| Volume | 173 |
| Issue | 3 |
| Pages | 259-279 |
| Publication date | 2010-04-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-008-9425-4 |
| OpenAlex | W2059132792 |
| Language | EN |
| Citations received | 1 |
| References cited | 19 |
Algorithm · Arity · Calculus (dental) · Cut-elimination theorem · Discrete mathematics · Epistemology · Mathematical proof · Metaphysics · Modal · Modal logic · Natural deduction · Philosophy of language · Sequent · Sequent calculus · Computer Science · Formal Methods in Verification · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Citations per year | 0.13 |
|---|---|
| Citation span | 2018 - 2018 (1) |
| Highly cited | No |