DeepAI AI Chat
Log In Sign Up

A Framework for Intuitionistic Grammar Logics

by   Tim S. Lyon, et al.
TU Dresden

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.


page 1

page 2

page 3

page 4


Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

Intuitionistic grammar logics fuse constructive and multi-modal reasonin...

A road to ultrafilter extensions

We propose a uniform method of constructing ultrafilter extensions from ...

Non-iterative Modal Logics are Coalgebraic

A modal logic is non-iterative if it can be defined by axioms that do no...

Uniform and Modular Sequent Systems for Description Logics

We introduce a framework that allows for the construction of sequent sys...

Sampling Markov Models under Constraints: Complexity Results for Binary Equalities and Grammar Membership

We aim at enforcing hard constraints to impose a global structure on seq...

Foundations of Reasoning with Uncertainty via Real-valued Logics

Real-valued logics underlie an increasing number of neuro-symbolic appro...

A Note on Digitization of Real-Time Models and Logics

Digitization provides a sound and complete method to reduce the problem ...