On Graphs for Intuitionistic Modal Logics | Zendy

Paulo A. S. Veloso | Zendy; Sheila R. M. Veloso | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On Graphs for Intuitionistic Modal Logics

Author(s) -

Paulo A. S. Veloso,

Sheila R. M. Veloso

Publication year - 2016

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2016.06.014

Subject(s) - kripke semantics , rotation formalisms in three dimensions , modal , accessibility relation , normal modal logic , semantics (computer science) , modal logic , mathematics , computer science , s5 , theoretical computer science , algebra over a field , discrete mathematics , pure mathematics , programming language , chemistry , geometry , polymer chemistry

We present a graph approach to intuitionistic modal logics, which provides uniform formalisms for expressing, analysing and comparing Kripke-like semantics. This approach uses the flexibility of graph calculi to express directly and intuitively possible-world semantics for intuitionistic modal logics. We illustrate the benefits of these ideas by applying them to some familiar cases of intuitionistic multi-modal semantics

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research