Implementation of a cut−free sequent calculus for logics with adjoint modalities

Implementation of a cut−free sequent calculus for logics with adjoint modalities

Bibliographic Details
Main Authors:	Kriener, M, Dyckhoff, R
Format:	Report
Published:	2009

Similar Items

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

Cut free sequent calculus for logic S5n(ED)
by: Haroldas Giedra
Published: (2010-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)

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

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

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

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2009)

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
by: Sadrzadeh, M, et al.
Published: (2010)

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

Graphical Sequent Calculi for Modal Logics
by: Minghui Ma, et al.
Published: (2017-03-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)

Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information
by: Sadrzadeh, M, et al.
Published: (2010)

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
by: Dyckhoff, R, et al.
Published: (2012)

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

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

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

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

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

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
by: Tiu, A, et al.
Published: (2012)

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

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

Sequent Calculus and Equational Programming
by: Nicolas Guenot, et al.
Published: (2015-07-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)

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)

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

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

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

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

Cut Elimination for Extended Sequent Calculi
by: Simone Martini, et al.
Published: (2023-09-01)

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

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

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

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

Analyticity, balance and non-admissibility of Cut in Stoic logic
by: Bobzien, S, et al.
Published: (2018)