Constructive theories through a modal lens

Record link:

Title:

Citation:

Tesi, M. (2024, February 15). Constructive theories through a modal lens [Conference Presentation]. Workshop “The art of Proofs,” Bologna, Italy.

Publication Type:

Presentation - Conference Presentation

Language:

English

Authors:

Organisational Unit:

E192-05 - Forschungsbereich Theory and Logic

Date (published):

15-Feb-2024

Event name:

Workshop "The art of Proofs"

Event date:

15-Feb-2024 - 16-Feb-2024

Event place:

Bologna, Italy

Keywords:

Proof Theory; Modal Logic; constructive reasoning

Project title:

Logical methods for Deontic Explanations: I 6372 (FWF - Österr. Wissenschaftsfonds)

Research Areas:

Computer Science Foundations: 100%

Science Branch:

1020 - Informatik: 80%
1010 - Mathematik: 20%

Appears in Collections:

Show full item record

checked on Mar 13, 2024

checked on Mar 13, 2024

Check