The following pages link to Propositional lax logic (Q1368378):
Displaying 48 items.
- An intuitionistic reformulation of Mally's deontic logic (Q373016) (← links)
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Cooper storage idiom (Q1711505) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Logic of subtyping (Q2500487) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Topological models of propositional logic of problems and propositions (Q2688115) (← links)
- B-frame duality (Q2689804) (← links)
- Access Control in a Core Calculus of Dependency (Q2864145) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Back to futures (Q5063251) (← links)
- (Q5111325) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
- Bitopological models of intuitionistic epistemic logic (Q6582275) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
