The following pages link to Alessandra Palmigiano (Q393905):
Displaying 50 items.
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Groupoid quantales: A non-étale setting (Q534017) (← links)
- Topological groupoid quantales (Q609642) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Constructive canonicity for lattice-based fixed point logics (Q1685915) (← links)
- 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)
- Relational representation of groupoid quantales (Q1943694) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Modelling socio-political competition (Q2035344) (← links)
- Toward a Dempster-Shafer theory of concepts (Q2206445) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Logics for rough concept analysis (Q2284185) (← links)
- Non normal logics: semantic analysis and proof theory (Q2303583) (← links)
- Modelling informational entropy (Q2303585) (← links)
- Residuation algebras with functional duals (Q2325603) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Abstract logics as dialgebras (Q2842560) (← links)
- Coalgebraic semantics for positive modal logic (Q2843730) (← links)
- Coalgebras and modal expansions of logics (Q2847817) (← links)
- Dynamic Epistemic Logic Displayed (Q2859101) (← links)
- Epistemic updates on algebras (Q2871469) (← 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)
- Dual characterizations for finite lattices via correspondence theory for monotone modal logic (Q2983393) (← links)
- Sahlqvist theory for impossible worlds (Q2983397) (← links)
- Jónsson-style canonicity for ALBA-inequalities (Q2983398) (← links)
- Coalgebra and Logic: A Brief Overview (Q3056294) (← links)
- (Q3086937) (← links)
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic (Q3094027) (← links)
- (Q3384065) (← links)
- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention (Q3457684) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- An Abstract Algebraic Logic View on Judgment Aggregation (Q3457691) (← links)
- Nabla Algebras and Chu Spaces (Q3612503) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Unified correspondence as a proof-theoretic tool (Q4612445) (← links)
- (Q4625704) (← links)
