Recommendations
- Linear time Datalog and branching time logic
- Hommel's procedure in linear time
- Denotational linear time semantics and sequential composition
- Dominators in Linear Time
- A semantic measure of the execution time in linear logic
- Linear approximation of execution-time constraints
- scientific article; zbMATH DE number 1231505
- From linear time to branching time
- ON THE NOTION OF LINEAR TIME COMPUTABILITY
- FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
Cites work
- scientific article; zbMATH DE number 1612549 (Why is no real title available?)
- scientific article; zbMATH DE number 1612560 (Why is no real title available?)
- scientific article; zbMATH DE number 3976991 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 956466 (Why is no real title available?)
- scientific article; zbMATH DE number 724630 (Why is no real title available?)
- scientific article; zbMATH DE number 1950251 (Why is no real title available?)
- scientific article; zbMATH DE number 5263148 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- scientific article; zbMATH DE number 3327279 (Why is no real title available?)
- scientific article; zbMATH DE number 3363520 (Why is no real title available?)
- A constructive analysis of RM
- A cut-free simple sequent calculus for modal logic S5
- A deep inference system for the modal logic S5
- A labelled natural deduction system for linear temporal logic
- A simple proof of completeness and cut-admissibility for propositional Gödel logic
- Axioms vs hypersequent rules with context restrictions: theory and applications
- Cut-free hypersequent calculus for S4.3.
- Cut-free sequent calculi for some tense logics
- Deep sequent systems for modal logic
- Determiners and logic
- Display logic
- Displaying the modal logic of consistency
- Editorial
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames
- Embedding the hypersequent calculus in the display calculus
- From Frame Properties to Hypersequent Rules in Modal Logics
- Gentzen calculi for modal propositional logic
- Hypersequent and display calculi -- a unified perspective
- Hypersequent calculi for S5: the methods of cut elimination
- Hypersequents, logical consequence and intermediate logics for concurrency
- Natural deduction, hybrid systems and modal logics
- Practical reasoning for very expressive description logics
- Proof analysis in modal logic
- Proof theory for fuzzy logics
- Proof theory. 2nd ed
- Sequent-systems for modal logic
- Structural extensions of display calculi: a general recipe
- Structural proof theory. With an appendix by Aarne Ranta
- TABLEAUX: A general theorem prover for modal logics
- Tableau methods for modal and temporal logics
Cited in
(16)- Cut-free hypersequent calculus for S4.3.
- Two proofs of the algebraic completeness theorem for multilattice logic
- scientific article; zbMATH DE number 7561320 (Why is no real title available?)
- Proof theory for functional modal logic
- Linear approximation of execution-time constraints
- A hypersequent calculus with clusters for linear frames
- Nested sequents or tree-hypersequents -- a survey
- Cut elimination theorem for non-commutative hypersequent calculus
- On a multilattice analogue of a hypersequent S5 calculus
- Invariance properties of RAMs and linear time
- A hypersequent calculus with clusters for data logic over ordinals
- On a second-order version of Russellian theory of definite descriptions
- Internal and external calculi: ordering the jungle without being lost in translations
- Shrinking lambda expressions in linear time
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
This page was built for publication: LINEAR TIME IN HYPERSEQUENT FRAMEWORK
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5346691)
