Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Bibliographic Details
Main Authors:	Tiu, A, Ianovski, E, Goré, R
Format:	Conference item
Published:	2012

Similar Items

A labelled sequent calculus for BBI : proof theory and proof search
by: Hóu, Zhé, et al.
Published: (2020)

Stoic sequent logic and proof theory
by: Bobzien, S
Published: (2019)

On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
by: Rajeev Gore, et al.
Published: (2011-05-01)

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01)

Sequent calculus for hybrid logic
by: Stanislovas Norgėla, et al.
Published: (2023-09-01)

Sequent calculus for propositional likelihood logic
by: Romas Alonderis
Published: (2023-09-01)

Sequent calculus for logic of correlated knowledge
by: Haroldas Giedra, et al.
Published: (2011-12-01)

Intersection Logic in sequent calculus style
by: Simona Ronchi Della Rocca, et al.
Published: (2011-01-01)

On Nested Sequents for Constructive Modal Logics
by: Lutz Strassburger, et al.
Published: (2015-09-01)

Restrictions for loop-check in sequent calculus for temporal logic
by: Adomas Birštunas
Published: (2008-12-01)

On the decidability of monadic first order logic in sequent calculus
by: Jean-Baptiste Joinet
Published: (2016-12-01)

More efficient proof-search for sequents of temporal logic
by: Romas Alonderis
Published: (2022-12-01)

A labeled sequent calculus for propositional linear time logic
by: Romas Alonderis
Published: (2012-12-01)

Cut free sequent calculus for logic S5n(ED)
by: Haroldas Giedra
Published: (2010-12-01)

A sequent calculus for propositional temporal logic with time gaps
by: Romas Alonderis
Published: (2011-12-01)

Implementation of a cut−free sequent calculus for logics with adjoint modalities
by: Kriener, M, et al.
Published: (2009)

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic
by: Dyckhoff, R, et al.
Published: (2010)

Sequent Calculus and Equational Programming
by: Nicolas Guenot, et al.
Published: (2015-07-01)

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
by: Stéphane Jean Eric Lengrand, et al.
Published: (2011-03-01)

Restrictions for loop-check in sequent calculus for temporal logic with until operator
by: Adomas Birštunas
Published: (2009-12-01)

Algebra and sequent calculus for epistemic actions
by: Baltag, A, et al.
Published: (2005)

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >
by: Romas Alonderis
Published: (2002-12-01)

Sequent Calculus Representations for Quantum Circuits
by: Cameron Beebe
Published: (2016-06-01)

Sequent calculus Sk4 for skolemized formulas
by: Andrejus Belovas, et al.
Published: (2005-12-01)

Sequent calculus usage for BDI agent implementation
by: Adomas Birstunas
Published: (2023-09-01)

An interpolating sequent calculus for quantifier-free Presburger arithmetic
by: Brillout, A, et al.
Published: (2011)

Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
by: Romas Alonderis
Published: (2009-12-01)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
by: Brillout, A, et al.
Published: (2011)

Converting ALC Connection Proofs into ALC Sequents
by: Eunice Palmeira, et al.
Published: (2019-08-01)

A sequent calculus for a semi-associative law
by: Noam Zeilberger
Published: (2019-02-01)

Graphical Sequent Calculi for Modal Logics
by: Minghui Ma, et al.
Published: (2017-03-01)

Inducing syntactic cut-elimination for indexed nested sequents
by: Revantha Ramanayake
Published: (2018-11-01)

Cut, invariant rule, and loop-check free sequent calculus for PLTL
by: Romas Alonderis, et al.
Published: (2011-12-01)

Cut-Free Gentzen Sequent Calculi for Tense Logics
by: Zhe Lin, et al.
Published: (2023-06-01)

Admissibility, compatibility, and deducibility in first-order sequent logics
by: Alexander Lyaletski
Published: (2015-11-01)

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics
by: Marcelo E. Coniglio, et al.
Published: (2013-03-01)

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
by: Sopo Pkhakadze, et al.
Published: (2020-07-01)

Relation between classical and intuitionistic sequent calculi of temporal logic
by: Romas Alonderis
Published: (2001-12-01)

A Proof Theoretic Analysis of Intruder Theories
by: Alwen F Tiu, et al.
Published: (2010-09-01)

One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
by: Paweł Płaczek
Published: (2021-03-01)