Propositional proof complexity is the study of the sizes of propositional proofs, and more generally, the resources necessary to certify propositional tautologies. Questions about proof sizes have ...

The quantified extension of a canonical propositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a ...

when thinking about logical agents, we imagine that the agent has a knowledge base (KB for short) that contains logical sentences that describe the state of the world you could think of a KB as a ...