Marta Bílková

Wesley Fussner

Roman Kuznets

CoRR, May, 2025

Two-layered logics for probabilities and belief functions over Belnap-Dunn logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2025

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

[BibT_eX]

[DOI]

J. Log. Comput., 2025

2024

Reasoning with belief functions over Belnap-Dunn logic.

[BibT_eX]

[DOI]

Sajad Nazari

Ann. Pure Appl. Log., 2024

Bisimulation for Impure Simplicial Complexes.

[BibT_eX]

Hans van Ditmarsch

Roman Kuznets

Rojo Randrianomentsoa

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Group Epistemics, (Co-)algebraically.

[BibT_eX]

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Qualitative reasoning in a two-layered framework.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., March, 2023

Epistemic Logics of Structured Intensional Groups.

[BibT_eX]

[DOI]

Igor Sedlár

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Paraconsistent Gödel modal logic on bi-relational frames.

[BibT_eX]

[DOI]

CoRR, 2023

Two-Layered Logics for Paraconsistent Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2023

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer.

[BibT_eX]

[DOI]

Krishna Manoorkar

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Non-standard Modalities in Paraconsistent Gödel Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.

[BibT_eX]

[DOI]

Krishna Manoorkar

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022

Theory and application of labelling techniques for interpretability logics.

[BibT_eX]

[DOI]

Math. Log. Q., 2022

Moss' logic for ordered coalgebras.

[BibT_eX]

[DOI]

Matej Dostál

Log. Methods Comput. Sci., 2022

Fonctions de croyances interprétées sur la logique de Belnap-Dunn.

[BibT_eX]

[DOI]

Sajad Nazari

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Paraconsistent Gödel Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Revisiting Epistemic Logic with Names.

[BibT_eX]

[DOI]

Zoé Christoff

Olivier Roy

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Constraint Tableaux for Two-Dimensional Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Proof Theory for Positive Logic with Weak Negation.

[BibT_eX]

[DOI]

Almudena Colacito

Stud Logica, 2020

How to reason with inconsistent probabilistic information?

[BibT_eX]

[DOI]

CoRR, 2020

Belief Based on Inconsistent Information.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2018

The Logic of Resources and Capabilities.

[BibT_eX]

[DOI]

Giuseppe Greco

Alessandra Palmigiano

Apostolos Tzimoulis

Rev. Symb. Log., 2018

Lindenbaum and Pair Extension Lemma in Infinitary Logics.

[BibT_eX]

[DOI]

Petr Cintula

Tomás Lávicka

Proceedings of the Logic, Language, Information, and Computation, 2018

2016

Epistemic logics for sceptical agents.

[BibT_eX]

[DOI]

Michal Pelis

J. Log. Comput., 2016

Expressivity of Many-Valued Modal Logics, Coalgebraically.

[BibT_eX]

[DOI]

Matej Dostál

Proceedings of the Logic, Language, Information, and Computation, 2016

2014

Proof systems for Moss' coalgebraic logic.

[BibT_eX]

[DOI]

Alessandra Palmigiano

Yde Venema

Theor. Comput. Sci., 2014

2013

Relation lifting, with an application to the many-valued cover modality.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Many-Valued Relation Lifting and Moss' Coalgebraic Logic.

[BibT_eX]

[DOI]

Matej Dostál

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Distributive Substructural Logics as Coalgebraic Logics over Posets.

[BibT_eX]

[DOI]

Rostislav Horcík

Jirí Velebil

Proceedings of the Advances in Modal Logic 9, 2012

2011

On monotone modalities and adjointness.

[BibT_eX]

[DOI]

Jirí Velebil

Yde Venema

Math. Struct. Comput. Sci., 2011

Relation Liftings on Preorders and Posets.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Relevant Agents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Interpretability in PRA.

[BibT_eX]

[DOI]

Dick de Jongh

Joost J. Joosten

Ann. Pure Appl. Log., 2009

A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2009

2008

Proof systems for the coalgebraic cover modality.

[BibT_eX]

[DOI]

Alessandra Palmigiano

Yde Venema

Proceedings of the Advances in Modal Logic 7, 2008

2007

Uniform Interpolation and Propositional Quantifiers in Modal Logics.

[BibT_eX]

[DOI]