From positive PDL to its non-classical extensions

DOI10.1093/jigpal/jzz017zbMath1477.03065OpenAlexW2947693838MaRDI QIDQ5014054

Vít Punčochář, Igor Sedlár

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz017

zbMATH Keywords

modal logicLambek calculussubstructural logicparaconsistent logicpropositional dynamic logicpositive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Neighbourhood semantics for modal relevant logics

This page was built for publication: From positive PDL to its non-classical extensions