28 results on '"Alessandra Palmigiano"'
Search Results
2. Correspondence Theory on Vector Spaces.
3. Labelled Calculi for Lattice-Based Modal Logics.
4. Labelled Calculi for the Logics of Rough Concepts.
5. Non-distributive Description Logic.
6. Subordination Algebras as Semantic Environment of Input/Output Logic.
7. Logics for Rough Concept Analysis.
8. Non Normal Logics: Semantic Analysis and Proof Theory.
9. Modelling Informational Entropy.
10. Software Tool Support for Modular Reasoning in Modal Logics of Actions.
11. Lattice Logic Properly Displayed.
12. Constructive Canonicity for Lattice-Based Fixed Point Logics.
13. Multi-type Display Calculus for Semi De Morgan Logic.
14. Modelling competing theories.
15. Categories: How I Learned to Stop Worrying and Love Two Sorts.
16. A Multi-type Calculus for Inquisitive Logic.
17. Probabilistic Epistemic Updates on Algebras.
18. An Abstract Algebraic Logic View on Judgment Aggregation.
19. Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention.
20. Dynamic Epistemic Logic Displayed.
21. Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.
22. Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.
23. Proof systems for the coalgebraic cover modality.
24. Nabla Algebras and Chu Spaces.
25. Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.
26. Normality for Gentzen systems in the classical case.
27. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
28. Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.