Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

DOI10.1145/2536740.2536742zbMath1353.68262OpenAlexW2165797525WikidataQ130864099 ScholiaQ130864099MaRDI QIDQ2946724

Julien Truffaut, Mehrnoosh Sadrzadeh, Roy Dyckhoff

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2536740.2536742

zbMATH Keywords

proof theoryalgebradecision procedureslogics for multi-agent systemscut admissibilityepistemic scenariosadjoint modalities

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics

This page was built for publication: Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators