Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

We study dynamic modal operators that can change the accessibility relation of a model during the evaluation of a formula. In… Expand

Is this relevant?

2014

2014

We have applied an elegant and flexible logic embedding approach to verify and automate a prominent philosophical argument: the… Expand

Is this relevant?

2010

2010

In this section, we define the syntax and semantics of quantified modal logic [Car46, Kri63]. An excellent source on first-order… Expand

Is this relevant?

2009

2009

The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a… Expand

Is this relevant?

2007

2007

Ordinary Kripke models are not reactive. When we evaluate (test/measure) a formula A at a model m, the model does not react… Expand

Is this relevant?

2006

2006

Previous results for combining decision procedures for the word problem in the non-disjoint case do not apply to equational… Expand

Is this relevant?

2003

2003

We present some algorithms to compute the reductions of Ambient Calculus and to describe mobility and dynamic hierarchies of… Expand

Is this relevant?

1999

1999

The influence NPs can have on the aspectual behaviour of verbal expressions, witness the pair ’eat an apple in ten minutes/*for… Expand

Is this relevant?

1993

1993

This paper introduces the theory of a particular kind of computation domains called concrete domains. The purpose of this theory… Expand

Is this relevant?

1992

1992

The goal of this paper is to provide a possible foundation for meta-reasoning in the fields of artificial intelligence and… Expand

Is this relevant?