In the seminar, the students studied doxastic logic to better understand how agents form and revise beliefs.

Her explanation seemed non-logical to those who expected a clear, step-by-step argument.

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

After taking the advanced course, she used logic programming to express complex rules succinctly.

Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.

The research team used description logic to formalize the domain concepts and automate consistency checking.

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

The philosopher argued that quantum logic challenges our classical intuitions about truth and measurement.

In propositional logic, a logical connective such as conjunction or negation determines the truth value of compound statements.

In constructive logic, a proof that an object exists must provide a method to construct or algorithmically produce that object.