# Propositional variable

## Papers overview

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

2013

2013

- 28th Annual ACM/IEEE Symposium on Logic in…
- 2013

We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of Propositional Assignments (DL-PA). The… (More)

Is this relevant?

2011

2011

- ICLA
- 2011

We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Artif. Intell.
- 2005

Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- ACM Trans. Comput. Log.
- 2001

The logic of Equality with Uninterpreted Functions (EUF) provides a means of abstracting the manipulation of data by a processor… (More)

Is this relevant?

2000

2000

- UAI
- 2000

In this paper we present a propositional logic programming language for reasoning under possibilistic uncertainty and represent… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- CP
- 1996

The constraint satisfaction community has developed a number of heuristics for variable ordering during backtracking search. For… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- 1994

1 LK is a natural modiication of Gentzen sequent calculus for pro-positional logic with connectives : and V ; W (both of… (More)

Is this relevant?

1993

1993

- TYPES
- 1993

ion, compute a type for its body in an extended context; to compute a type for an application, compute types for its left and… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- J. Symb. Log.
- 1992

We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of… (More)

Is this relevant?

Highly Cited

1977

Highly Cited

1977

- 1977

An equivalence is shown between functional dependency statements of a relational database, where “+” has the meaning of… (More)

Is this relevant?