A framework for intuitionistic grammar logics

DOI10.1007/978-3-030-89391-0_29OpenAlexW3209079210MaRDI QIDQ2695538

Tim S. Lyon

Publication date: 31 March 2023

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

zbMATH Keywords

modal logiccompletenessintuitionistic logicconversecontext-freebi-relational modelgrammar logicpath axiom

Mathematics Subject Classification ID

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

Uses Software

• MiniML

Cites Work

• Decidability of SHIQ with complex role inclusion axioms
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On an intuitionistic modal logic
• Deciding regular grammar logics with converse through first-order logic
• A modal analysis of staged computation
• Intuitionistic tense and modal logic
• Applications of intuitionistic logic in Answer Set Programming
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A framework for intuitionistic grammar logics