Login / Signup
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Guillermo Badia
Petr Cintula
Petr Hájek
Andrew Tedder
Published in:
Rev. Symb. Log. (2022)
Keyphrases
</>
propositional logic
belief revision
first order logic
valued logic
quantified boolean formulae
description logics
possibilistic logic
lattice theory
answering queries
artificial intelligence
query answering