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

Related topics

Related topics

31 relations
Admissible ruleAtomic formulaBL (logic)Belief revision
(More)

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
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
Becoming Aware of Propositional Variables
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
On the logic of cooperation and propositional control
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
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
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
A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables
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
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem
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
Lower Bounds to the Size of Constant-depth Propositional Proofs
  • 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
Closure Under Alpha-Conversion
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
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic
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
Fagin Functional Dependencies in a Relational Database and Propositional Logic
An equivalence is shown between functional dependency statements of a relational database, where “+” has the meaning of… (More)
  • table 1
Is this relevant?