DeepAI AI Chat
Log In Sign Up

A Framework for Intuitionistic Grammar Logics

10/02/2021
by   Tim S. Lyon, et al.
TU Dresden
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/31/2022

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

Intuitionistic grammar logics fuse constructive and multi-modal reasonin...
06/19/2018

A road to ultrafilter extensions

We propose a uniform method of constructing ultrafilter extensions from ...
06/09/2020

Non-iterative Modal Logics are Coalgebraic

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

Uniform and Modular Sequent Systems for Description Logics

We introduce a framework that allows for the construction of sequent sys...
11/28/2017

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...
08/06/2020

Foundations of Reasoning with Uncertainty via Real-valued Logics

Real-valued logics underlie an increasing number of neuro-symbolic appro...
06/23/2018

A Note on Digitization of Real-Time Models and Logics

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