Propositional variable

Known as: Propositional symbol, Sentential variable, Sentential letter 
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of Propositional Assignments (DL-PA). The… (More)
  • table I
Is this relevant?
2011
2011
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The logic of Equality with Uninterpreted Functions (EUF) provides a means of abstracting the manipulation of data by a processor… (More)
  • figure 4
Is this relevant?
2000
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
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
  • Jan Kra, Cek
  • 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
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
We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of… (More)
  • table 5
Is this relevant?
Highly Cited
1977
Highly Cited
1977
An equivalence is shown between functional dependency statements of a relational database, where “+” has the meaning of… (More)
  • table 1
Is this relevant?