Affordable Access

Publisher Website

If, not when

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
300
Identifiers
DOI: 10.1016/j.entcs.2013.12.009
Disciplines
  • Linguistics
  • Logic

Abstract

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

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

When is S=A/4?

Jul 12, 2002

If not now, when?

on GHA today February 1999

WHEN?

on Canadian Medical Association j... November 1927
More articles like this..