Distributive Substructural Logics as Coalgebraic Logics over Posets.

Marta Bílková Rostislav Horcík Jiri Velebil

Published in: Advances in Modal Logic (2012)

Keyphrases

propositional calculus
modal logic
expressive power
classical logic
neural network
inference rules
conditional logic
computational properties
epistemic logic