Named Models in Coalgebraic Hybrid Logic
Natural Deduction as Higher-Order Resolution
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Nested Hoare Triples and Frame Rules for Higher-order Store
Nested Sequents
Neutrality and Many-Valued Logics
New results on pushdown module checking with imperfect information
No big deal: introducing roles to reduce the size of ATL models
No information can be conveyed by certain events: The case of the clever widows of Fornicalia and the Stobon Oracle
Nominal Abstraction
Nominal Unification from a Higher-Order Perspective
Nominal Unification Revisited
Nominalistic Logic (Extended Abstract)
Non uniform (hyper/multi)coherence spaces
Non-Deterministic Kleene Coalgebras
Noncomputable functions in the Blum-Shub-Smale model
Nondeterministic Linear Logic
Nonmonotonic Trust Management for P2P Applications
Nonuniform Coercions via Unification Hints
Normalization of IZF with Replacement