scientific article; zbMATH DE number 3122423
From MaRDI portal
Publication:3235350
Cited in
(18)- Infinitary first-order categorical logic
- Questions as information types
- A semantic hierarchy for intuitionistic logic
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
- Games and bisimulations for intuitionistic first-order Kripke models
- A general relational semantics of propositional logic: axiomatization
- Disjunction and negation in information based semantics
- Intuitionistic completeness of first-order logic
- Constructive sheaf models of type theory
- The prehistory of the subsystems of second-order arithmetic
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
- Semantical analysis of the logic of bunched implications
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Tableaus and dual Tableaus
- Truth-maker semantics for some substructural logics
- Consistency-sensitive epistemic modalities in information-based semantics
- Relational patterns, partiality, and set lifting in modal semantics
- The information in intuitionistic logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3235350)
