Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

by   Tim Lyon, et al.
Logic Industries

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate.


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

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

We present some hypersequent calculi for all systems of the classical cu...

Refining Labelled Systems for Modal and Constructive Logics with Applications

This thesis introduces the "method of structural refinement", which serv...

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

The preferential conditional logic PCL, introduced by Burgess, and its e...

Query-driven PAC-Learning for Reasoning

We consider the problem of learning rules from a data set that support a...

Syntactic completeness of proper display calculi

A recent strand of research in structural proof theory aims at exploring...

On the proof complexity of logics of bounded branching

We investigate the proof complexity of extended Frege (EF) systems for b...

Please sign up or login with your details

Forgot password? Click here to reset