Switch to: References

Citations of:

About intuitionistic public announcement logic

In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 97-116 (2016)

Add citations

You must login to add citations.
  1. Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations