The following pages link to (Q4530621):
Displayed 32 items.
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Introducing identity (Q2056224) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- A History of Until (Q3185767) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- (Q4558785) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- A two‐dimensional metric temporal logic (Q5112385) (← links)
- An Investigation into Intuitionistic Logic with Identity (Q5126198) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Cut Elimination for Extended Sequent Calculi (Q6200474) (← links)