Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
DOI10.1016/J.ENTCS.2009.07.102zbMATH Open1337.03031OpenAlexW2126435975MaRDI QIDQ2805170FDOQ2805170
Authors: Mehrnoosh Sadrzadeh, Roy Dyckhoff 
Publication date: 10 May 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.102
Recommendations
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
- Epistemic Actions as Resources
- scientific article; zbMATH DE number 4058923
informationproof theorybeliefepistemic logicadjunctionGalois connectiondistributive latticedoxastic logicpositive modal logic
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Logical aspects of lattices and related structures (03G10)
Cites Work
- Modal logic
- Title not available (Why is that?)
- Display logic
- Logics for epistemic programs
- Substructural logics on display
- Title not available (Why is that?)
- Positive modal logic
- Proof analysis in modal logic
- Temporal algebra
- Deep sequent systems for modal logic
- Cut-free sequent calculi for some tense logics
- Title not available (Why is that?)
- Epistemic Actions as Resources
- Logics without the contraction rule
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- A Sahlqvist theorem for distributive modal logic
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Ockham's razor and reasoning about information flow
- Multimodal Linguistic Inference
- Title not available (Why is that?)
Cited In (6)
- A positive information logic for inferential information
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- A categorical outlook on relational modalities and simulations
- Modes of adjointness
- Learning in a changing world, an algebraic modal logical approach
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
Uses Software
This page was built for publication: Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805170)
