DeepAI AI Chat

A Framework for Intuitionistic Grammar Logics

10/02/2021

∙

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

∙ 10/31/2022

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

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

0 Tim S. Lyon, et al. ∙

∙ 06/19/2018

A road to ultrafilter extensions

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

0 Jie Fan, et al. ∙

∙ 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...

0 Jonas Forster, et al. ∙

∙ 06/17/2022

Uniform and Modular Sequent Systems for Description Logics

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

0 Tim Lyon, et al. ∙

∙ 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...

0 Stephane Rivaud, et al. ∙

∙ 08/06/2020

Foundations of Reasoning with Uncertainty via Real-valued Logics

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

38 Ronald Fagin, et al. ∙

∙ 06/23/2018

A Note on Digitization of Real-Time Models and Logics

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

0 Janardan Misra, et al. ∙