Constructive Modalities with Provability Smack (Q5255796): Difference between revisions

@@ Property / arXiv ID @@
+.05607
@@ Property / arXiv ID: 1708.05607 / rank @@
+Normal rank
@@ Property / cites work @@
+Access Control in a Core Calculus of Dependency
@@ Property / cites work: Access Control in a Core Calculus of Dependency / rank @@
+Normal rank
@@ Property / cites work @@
+The Russell–Prawitz modality
@@ Property / cites work: The Russell–Prawitz modality / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Pointed Coalgebras (Extended Abstract)
@@ Property / cites work: Well-Pointed Coalgebras (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free tableau calculi for some propositional normal modal logics
+Normal rank
@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+Productive coprogramming with guarded recursion
@@ Property / cites work: Productive coprogramming with guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Esakia style duality for implicative semilattices
@@ Property / cites work: Esakia style duality for implicative semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability: The emergence of a mathematical modality
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+The elimination theorem when modality is present
@@ Property / cites work: The elimination theorem when modality is present / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837730
@@ Property / cites work: Q3837730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904347
@@ Property / cites work: Q2904347 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Models for stronger normal intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Scattered toposes
@@ Property / cites work: Scattered toposes / rank @@
+Normal rank
@@ Property / cites work @@
+The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Rasiowa's algebraic approach to non-classical logics
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Presheaf semantics and independence results for some non-classical first- order logics
+Normal rank
@@ Property / cites work @@
+Mathematical modal logic: A view of its evolution
@@ Property / cites work: Mathematical modal logic: A view of its evolution / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Grothendieck Topology as Geometric Modality
@@ Property / cites work: Grothendieck Topology as Geometric Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Cover semantics for quantified lax logic
@@ Property / cites work: Cover semantics for quantified lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+The separation theorem of intuitionist propositional calculus
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Extending Type Theory with Forcing
@@ Property / cites work: Extending Type Theory with Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic model for graphical user interfaces
@@ Property / cites work: A semantic model for graphical user interfaces / rank @@
+Normal rank
@@ Property / cites work @@
+On superintuitionistic logics as fragments of proof logic extensions
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411417
@@ Property / cites work: Q5411417 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+The Uses and Abuses of the History of Topos Theory
+Normal rank
@@ Property / cites work @@
+SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model
+Normal rank
@@ Property / cites work @@
+Logic KM: A Biography
@@ Property / cites work: Logic KM: A Biography / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness Results in Kripke Bundle Semantics
@@ Property / cites work: Incompleteness Results in Kripke Bundle Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714439
@@ Property / cites work: Q5714439 / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
+Normal rank
@@ Property / cites work @@
+Q3958510
@@ Property / cites work: Q3958510 / rank @@
+Normal rank
@@ Property / cites work @@
+Cantor-Bendixson Properties of the Assembly of a Frame
+Normal rank
@@ Property / cites work @@
+Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements. I: Explicit calculations
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some modal aspects of XPath
@@ Property / cites work: Some modal aspects of XPath / rank @@
+Normal rank
@@ Property / cites work @@
+A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
+Normal rank
@@ Property / cites work @@
+Q4295869
@@ Property / cites work: Q4295869 / rank @@
+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 @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Blok-Esakia Theorem
@@ Property / cites work: On the Blok-Esakia Theorem / rank @@
+Normal rank