Pages that link to "Item:Q4291036"
From MaRDI portal
The following pages link to Sequent Calculi for Normal Modal Propositional Logics (Q4291036):
Displaying 25 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Indexed systems of sequents and cut-elimination (Q1372944) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- On constructing a logic for the notion of complete and immediate formal grounding (Q1709100) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Self-referentiality of Justified Knowledge (Q3503641) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Displaying the modal logic of consistency (Q4948528) (← links)
- Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic (Q5040795) (← links)
- A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY (Q5850981) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
