Giuseppe Greco

Available identifiers

zbMath Open greco.giuseppeMaRDI QIDQ1685922

List of research outcomes

Publication	Date of Publication	Type
Labelled calculi for lattice-based modal logics	2023-08-17	Paper
Labelled calculi for the logics of rough concepts	2023-08-17	Paper
Neighbourhood Semantics for Graded Modal Logic	2023-05-04	Paper
Linear Logic Properly Displayed	2023-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5884955	2023-03-24	Paper
Syntactic Completeness of Proper Display Calculi	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5869716	2022-09-28	Paper
Non-normal modal logics and conditional logics: semantic analysis and proof theory	2022-06-13	Paper
Algorithmic correspondence and analytic rules	2022-03-26	Paper
Unified inverse correspondence for DLE-Logics	2022-03-17	Paper
First order logic properly displayed	2021-05-14	Paper
Semi De Morgan logic properly displayed	2021-04-27	Paper
Lambek-Grishin Calculus: Focusing, Display and Full Polarization	2020-11-05	Paper
Non-normal logics: semantic analysis and proof theory (extended version)	2020-09-29	Paper
Non normal logics: semantic analysis and proof theory	2020-03-04	Paper
Logics for rough concept analysis	2020-01-14	Paper
Proper multi-type display calculi for rough algebras	2019-11-13	Paper
Bilattice logic properly displayed	2019-10-16	Paper
Non normal logics: semantic analysis and proof theory	2019-03-12	Paper
Unified correspondence as a proof-theoretic tool	2019-01-31	Paper
Logics for Rough Concept Analysis	2018-11-17	Paper
Software tool support for modular reasoning in modal logics of actions	2018-10-04	Paper
Semi De Morgan logic properly displayed	2018-09-20	Paper
THE LOGIC OF RESOURCES AND CAPABILITIES	2018-08-07	Paper
Kleene algebras, adjunction and structural control	2018-05-19	Paper
Lattice logic properly displayed	2017-12-20	Paper
Multi-type display calculus for semi De Morgan logic	2017-12-20	Paper
A proof-theoretic semantic analysis of dynamic epistemic logic	2017-01-31	Paper
Multi-type display calculus for dynamic epistemic logic	2017-01-31	Paper
Multi-type display calculus for propositional dynamic logic	2017-01-31	Paper
Multi-type Sequent Calculi	2016-09-17	Paper
A Multi-type Calculus for Inquisitive Logic	2016-09-09	Paper
Dynamic Epistemic Logic Displayed	2013-11-06	Paper
Automatic Layout Optimization of Power Discrete Devices Using Innovative Distributed Model Techniques	2012-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q3618981	2009-04-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giuseppe Greco