Categorial inference and modal logic

DOI10.1023/A:1008322125368zbMath0915.03021MaRDI QIDQ1280045

Natasha Kurtonina

Publication date: 5 July 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

modal logicembeddingtemporal logiccategorial grammarbinary Kripke framesnon-associative Lambek Calculusstructure sensitive categorial inferenceternary accessibility relationweak Sahlqvist extension

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

Simulating polyadic modal logics by monadic ones ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Unnamed Item ⋮ Inter-Model Connectives and Substructural Logics

This page was built for publication: Categorial inference and modal logic