45 results on '"Palmigiano, Alessandra"'
Search Results
2. Modal reduction principles across relational semantics
3. Non-normal modal logics and conditional logics: Semantic analysis and proof theory
4. Rough concepts
5. Modelling socio-political competition
6. Toward a Dempster-Shafer theory of concepts
7. Semi De Morgan Logic Properly Displayed
8. Modal reduction principles: a parametric shift to graphs.
9. Logics for Social Behaviour: An Editorial
10. Bilattice logic properly displayed
11. Algebraic Proof Theory for LE-logics.
12. Residuation algebras with functional duals
13. Algorithmic correspondence for intuitionistic modal mu-calculus
14. Proof systems for Moss' coalgebraic logic
15. Linear Logic Properly Displayed.
16. Algorithmic correspondence and canonicity for distributive modal logic
17. Groupoid quantales: A non-étale setting
18. Canonical Extensions and Relational Completeness of Some Substructural Logics
19. Verwijtbaar handelen of nalaten, een categorisering.
20. Syntactic Completeness of Proper Display Calculi.
21. Canonical extensions for congruential logics with the deduction theorem
22. Relational Representation of Groupoid Quantales
23. Δ1-completions of a Poset
24. Coalgebras and Modal Expansions of Logics
25. A coalgebraic view on positive modal logic
26. Coalgebraic Semantics for Positive Modal Logic
27. Abstract Logics as Dialgebras
28. CONSTRUCTIVE CANONICITY OF INDUCTIVE INEQUALITIES.
29. Algorithmic correspondence and canonicity for non-distributive logics.
30. Unified correspondence as a proof-theoretic tool.
31. THE LOGIC OF RESOURCES AND CAPABILITIES.
32. Sahlqvist theory for impossible worlds.
33. Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
34. Jónsson-style canonicity for ALBA-inequalities.
35. Multi-type display calculus for propositional dynamic logic.
36. A proof-theoretic semantic analysis of dynamic epistemic logic.
37. Multi-type display calculus for dynamic epistemic logic.
38. Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.
39. EPISTEMIC UPDATES ON ALGEBRAS.
40. Coalgebra and Logic: A Brief Overview.
41. Categories: How I Learned to Stop Worrying and Love Two Sorts.
42. Proof systems for the logics for social behaviour.
43. Sahlqvist Correspondence via Duality and its Applications.
44. Editorial.
45. A multi-type calculus for inquisitive logic.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.