ERD

Progress Report 1

Project: MOSAIC

Updated at: 28-08-2024

Show more information

Project acronym MOSAIC

Mid-term meeting

Project: MOSAIC

Updated at: 28-08-2024

Show more information

Project acronym MOSAIC

Compound conditionals as random quantities and Boolean algebras.

Project: MOSAIC

Updated at: 22-06-2024

Show more information

Project acronym MOSAIC

Lindström theorems in graded model theory

Project: MOSAIC

Updated at: 22-06-2024

Show more information

Project acronym MOSAIC

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Project: MOSAIC

Updated at: 22-06-2024

Show more information

Project acronym MOSAIC

Rotations of Gödel Algebras with Modal Operators

Project: MOSAIC

Updated at: 22-06-2024

Show more information

Project acronym MOSAIC

Paraconsistent Gödel Modal Logic

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Qualitative reasoning in a two-layered framework

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report.

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Outlier detection using flexible categorization and interrogative agendas

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

An alternative definition of tense operators on residuated lattices

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic.

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Two-Layered Logics for Paraconsistent Probabilities

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

An elementary belief function logic

Project: MOSAIC

Updated at: 05-06-2024

Show more information

Project acronym MOSAIC

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

From Contact Relations to Modal Operators, and Back

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

On the expressive power of Łukasiewicz square operator.

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

Connexive Negation

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

Towards a unified view on logics for uncertainty. In Proceedings of SUM’22. Lecture Notes in Artificial Intelligence.

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

A 0-1 Law in Mathematical Fuzzy Logic

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

A linear logic framework for multimodal logics

Project: MOSAIC

Updated at: 28-04-2024

Show more information

Project acronym MOSAIC

Resources

Selected filters:

Progress Report 1

Mid-term meeting

Compound conditionals as random quantities and Boolean algebras.

Lindström theorems in graded model theory

Canonical Extensions of Conditional Probabilities and Compound Conditionals

Rotations of Gödel Algebras with Modal Operators

Paraconsistent Gödel Modal Logic

Qualitative reasoning in a two-layered framework

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report.

Outlier detection using flexible categorization and interrogative agendas

An alternative definition of tense operators on residuated lattices

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic.

Two-Layered Logics for Paraconsistent Probabilities

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

An elementary belief function logic

MAXIMALITY OF LOGIC WITHOUT IDENTITY

From Contact Relations to Modal Operators, and Back

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions

On the expressive power of Łukasiewicz square operator.

Connexive Negation

Towards a unified view on logics for uncertainty. In Proceedings of SUM’22. Lecture Notes in Artificial Intelligence.

A 0-1 Law in Mathematical Fuzzy Logic

A linear logic framework for multimodal logics