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

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

Bibliográfalaš dieđut
Váldodahkkit:	Tiu, A, Ianovski, E, Goré, R
Materiálatiipa:	Conference item
Almmustuhtton:	2012

Geahča maid

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

Stoic sequent logic and proof theory
Dahkki: Bobzien, S
Almmustuhtton: (2019)

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

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

Sequent calculus for propositional likelihood logic
Dahkki: Romas Alonderis
Almmustuhtton: (2023-09-01)

Multi-succedent sequent calculus for intuitionistic epistemic logic
Dahkki: Romas Alonderis
Almmustuhtton: (2024-12-01)

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

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

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

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

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

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Dahkki: Simon Tobias Lund, et al.
Almmustuhtton: (2024-11-01)

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Dahkki: Romas Alonderis
Almmustuhtton: (1999-12-01)

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

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

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

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

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

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

Sequent Systems for Consequence Relations of Cyclic Linear Logics
Dahkki: Paweł Płaczek
Almmustuhtton: (2024-04-01)

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

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

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

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

Gentzen and Temporal Sequents
Dahkki: Indrzejczak Andrzej
Almmustuhtton: (2024-12-01)

A Proof Calculus for Automated Deduction in Propositional Product Logic
Dahkki: Dušan Guller
Almmustuhtton: (2024-12-01)

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

Logical relations in Chinese and the theory of grammar
Dahkki: Huang, Cheng-Teh James
Almmustuhtton: (2009)

Proof theory for fuzzy logics /
Dahkki: 432738 Metcalfe, George, et al.
Almmustuhtton: (2009)

Simulating cardinal preferences in Boolean games: A proof technique
Dahkki: Ianovski, E, et al.
Almmustuhtton: (2018)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Dahkki: Dimitar P. Guelev
Almmustuhtton: (2007-07-01)

Model Theory and Proof Theory of Coalgebraic Predicate Logic
Dahkki: Tadeusz Litak, et al.
Almmustuhtton: (2018-03-01)

The Calculus of Computation [electronic resource]: Decision Procedures with Applications to Verification/
Dahkki: 374893 Bradley, Aaron R., et al.
Almmustuhtton: (2007)

Logic : proof
Dahkki: Open University. Mathematics Foundation Course Team
Almmustuhtton: (1971)

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Dahkki: Jose Espirito Santo, et al.
Almmustuhtton: (2009-05-01)

Categorical Proof Theory of Co-Intuitionistic Linear Logic
Dahkki: Gianluigi Bellin
Almmustuhtton: (2014-09-01)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Dahkki: Simon Docherty, et al.
Almmustuhtton: (2018-10-01)

Extracting proofs from tabled proof search
Dahkki: Miller, Dale., et al.
Almmustuhtton: (2013)

Treating coordination in logic grammars /
Dahkki: 307809 Dahl, Veronica, et al.

Anaphora and type logical grammar /
Dahkki: Jager, Gerhard, 1967-
Almmustuhtton: (2005)