A framework for intuitionistic grammar logics

DOI10.1007/978-3-030-89391-0_29MaRDI QIDQ2695538zbMATH OpenOpenAlexFDO

Authors Tim S. Lyon

Publication date 31 March 2023

Full work available at URL https://arxiv.org/abs/2110.00798

zbMATH Keywords

bi-relational modelcompletenesscontext-freeconversegrammar logicintuitionistic logicmodal logicpath axiom

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic tense and modal logic
• Intuitionistic non-normal modal logics: a general framework
• On graphs for intuitionistic modal logics
• scientific article; zbMATH DE number 4202248
• scientific article; zbMATH DE number 1303434

Cites work

• A modal analysis of staged computation
• Applications of intuitionistic logic in Answer Set Programming
• Cut elimination in nested sequents for intuitionistic modal logics
• Decidability of SHIQ with complex role inclusion axioms
• Deciding regular grammar logics with converse through first-order logic
• scientific article; zbMATH DE number 4202248 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3485716 (Why is no real title available?)
• scientific article; zbMATH DE number 2079039 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3052388 (Why is no real title available?)
• Intuitionistic tense and modal logic
• Logic and structure
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On an intuitionistic modal logic

Cited in

(4)

• scientific article; zbMATH DE number 1186722 (Why is no real title available?)
• scientific article; zbMATH DE number 559034 (Why is no real title available?)
• scientific article; zbMATH DE number 6302922 (Why is no real title available?)
• A Framework for Intuitionistic Grammar Logics

Describes a project that uses

Uses Software

• MiniML

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 Q2695538)