Results 281 to 290 of about 1,151,417 (307)

Propositional Logic

2014
openaire   +1 more source

Expressivity of Second Order Propositional Modal Logic

Journal of Philosophical Logic, 2005
Balder Ten Cate
exaly  

Propositional Logic

2008
openaire   +1 more source

Belief revision within fragments of propositional logic

Journal of Computer and System Sciences, 2014
Stefan Woltran
exaly  

Refutation Systems in Propositional Logic

, 2011
Tomasz F. Skura
semanticscholar   +1 more source

L-valued propositional logic Lvpl

Information Sciences, 1999
exaly  

Propositional Logics

2016
openaire   +1 more source

Propositional Logic

1993
Anil Nerode, Richard A. Shore
openaire   +1 more source

A propositional logic with explicit fixed points

Studia Logica, 1981
exaly  

Extended Horn sets in propositional logic

Journal of the ACM, 1991
exaly