A propositional logic with explicit fixed points

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Cites Work

A propositional calculus with denumerable matrix
Provability interpretations of modal logic
Title not available (Why is that?)
Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
Title not available (Why is that?)
Arithmetical necessity, provability and intuitionistic logic
Provability, truth, and modal logic
Calculating self-referential statements. I: Explicit calculations

Cited In (47)

Sequent calculi for Visser's propositional logics
Representations of Sheffer stroke algebras and Visser algebras
Intuitionistic modal algebras
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
Binary modal companions for subintuitionistic logics
BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH
On hyperarithmetical realizability
1998 European Summer Meeting of the Association for Symbolic Logic
Correspondences between gentzen and hilbert systems
Residuated expansions of lattice-ordered structures
Basic predicate calculus
Neighborhood Semantics for Basic and Intuitionistic Logic
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
Provability and interpretability logics with restricted realizations
Normal modal substructural logics with strong negation
Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
A canonical model for constant domain basic first-order logic
European Summer Meeting of the Association for Symbolic Logic
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
Esakia duality and its extensions
Choice-free topological duality for implicative lattices and Heyting algebras
Monotone subintuitionistic logic: duality and transfer results
Implication via spacetime
On PBZ*-lattices
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
Proof complexity of substructural logics
On self‐distributive weak Heyting algebras
ON EQUATIONAL COMPLETENESS THEOREMS
A closer look at some subintuitionistic logics
Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
Latarres, lattices with an arrow
Sequent Calculi for Orthologic with Strict Implication
Interpolation Property on Visser's Formal Propositional Logic
Modal companions of intermediate propositional logics
Kripke semantics for fuzzy logics
The de Jongh property for basic arithmetic
Complexity of intuitionistic propositional logic and its fragments
Subintuitionistic logics and their modal companions: a nested approach
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Completions of Basic Algebras
Categorical abstract algebraic logic: referential algebraic semantics
Alternative semantics for Visser's propositional logics
On non-self-referential fragments of modal logics
A modification of Visser's formal logic and its connection with Solovay's modal logic
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
Constructive embedding from extensions of logics of strict implication into modal logics

This page was built for publication: A propositional logic with explicit fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1156789)