If, not when | Zendy

Dick Crouch | Zendy; Valeria de Paiva | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

If, not when

Author(s) -

Dick Crouch,

Valeria de Paiva

Publication year - 2014

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.2013.12.009

Subject(s) - modal logic , multimodal logic , semantics (computer science) , computer science , interpretation (philosophy) , programming language , constructive , modal , normal modal logic , well founded semantics , higher order logic , description logic , operational semantics , denotational semantics , chemistry , process (computing) , polymer chemistry

We present a logic of verified and unverified assertions and prove it sound and complete with respect to its possible-worlds semantics. The logic, a constructive modal logic, is motivated by considerations of the interpretation of conditionals in natural language semantics, but, we claim, is of independent interest

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