The bounded proof property via step algebras and step frames (Q741087): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2014.07.005
@@ Property / DOI: 10.1016/j.apal.2014.07.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2014.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2000108579
@@ Property / OpenAlex ID: W2000108579 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cook's Tour of the Finitary Non-Well-Founded Sets
+Normal rank
@@ Property / cites work @@
+On modal systems having arithmetical interpretations
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke Semantics for Basic Sequent Systems
@@ Property / cites work: Kripke Semantics for Basic Sequent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A unified semantic framework for fully structural propositional sequent systems
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of cut elimination
@@ Property / cites work: Algebraic aspects of cut elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist correspondence for modal mu-calculus
@@ Property / cites work: Sahlqvist correspondence for modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
+Normal rank
@@ Property / cites work @@
+Bounded Proofs and Step Frames
@@ Property / cites work: Bounded Proofs and Step Frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636285
@@ Property / cites work: Q4636285 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Modal Algebras Revisited: The Step-by-Step Method
+Normal rank
@@ Property / cites work @@
+Free Modal Algebras: A Coalgebraic Perspective
@@ Property / cites work: Free Modal Algebras: A Coalgebraic Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions of FL-algebras
@@ Property / cites work: MacNeille completions of FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Unified Correspondence
@@ Property / cites work: Unified Correspondence / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Q5483000
@@ Property / cites work: Q5483000 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+A Cut‐Free Calculus For Dummett's LC Quantified
@@ Property / cites work: A Cut‐Free Calculus For Dummett's LC Quantified / rank @@
+Normal rank
@@ Property / cites work @@
+On generalizing free algebras for a functor
@@ Property / cites work: On generalizing free algebras for a functor / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277651
@@ Property / cites work: Q4277651 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity, freeness, and filtrations
@@ Property / cites work: Continuity, freeness, and filtrations / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination
+Normal rank
@@ Property / cites work @@
+Q4636295
@@ Property / cites work: Q4636295 / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist Formulas in Hybrid Polyadic Modal Logics
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Q3086940
@@ Property / cites work: Q3086940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5413334
@@ Property / cites work: Q5413334 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Cut Elimination for Shallow Modal Logics
@@ Property / cites work: Cut Elimination for Shallow Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Q5311045
@@ Property / cites work: Q5311045 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and duality in modal logic
@@ Property / cites work: Topology and duality in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+A modal sequent calculus for a fragment of arithmetic
+Normal rank
@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+The modal logic of provability: cut-elimination
@@ Property / cites work: The modal logic of provability: cut-elimination / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2014.07.005
@@ Property / DOI: 10.1016/J.APAL.2014.07.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:741087