A Framework for Intuitionistic Grammar Logics

DOI10.1007/978-3-030-89391-0_29MaRDI QIDQ6379210arXivFDO

Authors Tim S. Lyon

Publication date 2 October 2021

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-030-89391-0_29

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

arXiv classification

cs.LOmath.LO

Abstract: We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

This page was built for publication: A Framework for Intuitionistic Grammar Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6379210)