The bounded proof property via step algebras and step frames
type: Item
instance of: scholarly article
title: The bounded proof property via step algebras and step frames
zbMATH Open document ID: 1361.03013
author: Nick Bezhanishvili
author: Silvio Ghilardi
published in: Annals of Pure and Applied Logic
publication date: 2014-09-10T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6342366
zbMATH Keywords: modal logic
zbMATH Keywords: bounded proof property
zbMATH Keywords: finite model property
zbMATH Keywords: step correspondence
describes a project that uses: SQEMA
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: j.apal.2014.07.005
OpenAlex ID: W2000108579
cites work: A Cook's Tour of the Finitary Non-Well-Founded Sets
cites work: On modal systems having arithmetical interpretations
cites work: Q3837723
cites work: Kripke Semantics for Basic Sequent Systems
cites work: A unified semantic framework for fully structural propositional sequent systems
cites work: Algebraic aspects of cut elimination
cites work: Q3781066
cites work: Minimal predicates, fixed-points, and definability
cites work: Modal frame correspondences and fixed-points
cites work: Sahlqvist correspondence for modal mu-calculus
cites work: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
cites work: Bounded Proofs and Step Frames
cites work: Q4636285
cites work: Free Modal Algebras Revisited: The Step-by-Step Method
cites work: Free Modal Algebras: A Coalgebraic Perspective
cites work: Modal logic
cites work: Q3128959
cites work: Model theory.
cites work: MacNeille completions of FL-algebras
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: Unified Correspondence
cites work: Algorithmic correspondence and canonicity for distributive modal logic
cites work: Q5483000
cites work: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
cites work: A Cut‐Free Calculus For Dummett's LC Quantified
cites work: On generalizing free algebras for a functor
cites work: Normal forms in modal logic
cites work: Q4277651
cites work: An algebraic theory of normal forms
cites work: Continuity, freeness, and filtrations
cites work: The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination
cites work: Q4636295
cites work: Sahlqvist formulas in hybrid polyadic modal logics
cites work: Elementary canonical formulae: extending Sahlqvist's theorem
cites work: Q3086940
cites work: Q5413334
cites work: Canonical rules
cites work: Tools and techniques in modal logic
cites work: From Frame Properties to Hypersequent Rules in Modal Logics
cites work: Cut Elimination for Shallow Modal Logics
cites work: Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
cites work: Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Q3247119
cites work: A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
cites work: Q5311045
cites work: Gentzen calculi for modal propositional logic
cites work: Admissibility of logical inference rules
cites work: Topology and duality in modal logic
cites work: A new proof of Sahlqvist's theorem on modal definability and completeness
cites work: A modal sequent calculus for a fragment of arithmetic
cites work: The modal logic of provability. The sequential approach
cites work: The modal logic of provability: cut-elimination
DOI: 10.1016/J.APAL.2014.07.005
Recommended article: Bounded Proofs and Step Frames
Recommended article: One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property
Recommended article: Steps towards a proof-theoretical semantics
Recommended article: Logic of Proofs for Bounded Arithmetic
Recommended article: On Extending Bounded Proofs to Inductive Proofs

The bounded proof property via step algebras and step frames (Recommended article)
Recommended article: Proving consistency of equational theories in bounded arithmetic
Similarity Score: 0.8516346
Recommender Run: Recommender Run 3

The bounded proof property via step algebras and step frames (Recommended article)
Recommended article: On the provability logic of bounded arithmetic
Similarity Score: 0.8515825
Recommender Run: Recommender Run 3

The bounded proof property via step algebras and step frames (Recommended article)
Recommended article: Q4649564
Similarity Score: 0.847418
Recommender Run: Recommender Run 3

The bounded proof property via step algebras and step frames (Recommended article)
Recommended article: Q5465358
Similarity Score: 0.84405303
Recommender Run: Recommender Run 3

The bounded proof property via step algebras and step frames (Recommended article)
Recommended article: Q3757894
Similarity Score: 0.8438991
Recommender Run: Recommender Run 3