The following pages link to Giuseppe Greco (Q1685922):
Displaying 28 items.
- Lattice logic properly displayed (Q1685923) (← links)
- Multi-type display calculus for semi De Morgan logic (Q1685926) (← links)
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Logics for rough concept analysis (Q2284185) (← links)
- Non normal logics: semantic analysis and proof theory (Q2303583) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Dynamic Epistemic Logic Displayed (Q2859101) (← links)
- Automatic Layout Optimization of Power Discrete Devices Using Innovative Distributed Model Techniques (Q2905407) (← links)
- A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974) (← links)
- Multi-type display calculus for dynamic epistemic logic (Q2957975) (← links)
- Multi-type display calculus for propositional dynamic logic (Q2957976) (← links)
- (Q3618981) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Unified correspondence as a proof-theoretic tool (Q4612445) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5869716) (← links)
- (Q5884955) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Non-distributive description logic (Q6512045) (← links)
- Generating proof systems for three-valued propositional logics (Q6516388) (← links)
- Labelled calculi for lattice-based modal logics (Q6517923) (← links)
- Labelled calculi for the logics of rough concepts (Q6518004) (← links)
- Non-distributive description logic (Q6541145) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)
