The following pages link to Proof analysis in modal logic (Q812101):
Displaying 50 items.
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- Valentini's cut-elimination for provability logic resolved (Q2890695) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- SEMANTIC POLLUTION AND SYNTACTIC PURITY (Q3459083) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- (Q4558785) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Pure Sequent Calculi (Q4972151) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- (Q5015283) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- PRIORITY MERGE AND INTERSECTION MODALITIES (Q5065140) (← links)
- (Q5090950) (← links)
- A multi-labelled sequent calculus for Topo-Logic (Q5112652) (← links)
- A Connection-Based Characterization of Bi-intuitionistic Validity (Q5200030) (← links)
- Meaning in Use (Q5213613) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- (Q5354747) (← links)
- Proof analysis beyond geometric theories: from rule systems to systems of rules (Q5739973) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
