Kripke Semantics for Basic Sequent Systems
From MaRDI portal
Publication:3010359
DOI10.1007/978-3-642-22119-4_6zbMATH Open1333.03236OpenAlexW178931755MaRDI QIDQ3010359FDOQ3010359
Authors: Arnon Avron, Ori Lahav 
Publication date: 1 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_6
Recommendations
- A kripke-kleene semantics for logic programs*
- Kripke semantics for knowledge representation logics
- scientific article; zbMATH DE number 912320
- Kripke semantics for modal bilattice logic
- Sequent-systems for modal logic
- Kripke semantics for the logic of problems and propositions
- scientific article; zbMATH DE number 1251244
- Kripke semantics for modal substructural logics
- scientific article; zbMATH DE number 1523418
- scientific article; zbMATH DE number 3860378
Cites Work
- Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
- Subtractive logic
- Title not available (Why is that?)
- A non-deterministic view on non-classical negations
- The modal logic of provability. The sequential approach
- Title not available (Why is that?)
- On some intuitionistic modal logics
- Towards a semantic characterization of cut-elimination
- Gentzen-type systems, resolution and tableaux
- Logic of infons
- Title not available (Why is that?)
- On modal systems having arithmetical interpretations
- Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
- On constructive connectives and systems
Cited In (5)
This page was built for publication: Kripke Semantics for Basic Sequent Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3010359)
