Igor Sedlár

Pietro Vigiani

J. Philos. Log., October, 2024

Completeness of Finitely Weighted Kleene Algebra with Tests.

[BibT_eX]

[DOI]

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

2023

Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020).

[BibT_eX]

[DOI]

Manuel A. Martins

J. Log. Comput., August, 2023

Almost APAL.

[BibT_eX]

[DOI]

J. Log. Comput., August, 2023

Relevant epistemic logic with public announcements and common knowledge.

[BibT_eX]

[DOI]

J. Log. Comput., March, 2023

Kleene Algebra with Dynamic Tests: Completeness and Complexity.

[BibT_eX]

[DOI]

CoRR, 2023

Epistemic Logics of Structured Intensional Groups.

[BibT_eX]

[DOI]

Marta Bílková

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

Relevant Reasoning and Implicit Beliefs.

[BibT_eX]

[DOI]

Pietro Vigiani

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

Kleene Algebra With Tests for Weighted Programs.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Kleene Algebra of Weighted Programs with Domain.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

On the Complexity of Kleene Algebra with Domain.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022

One-sorted Program Algebras.

[BibT_eX]

[DOI]

Johann J. Wannenburg

CoRR, 2022

Routley Star in Information-Based Semantics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.

[BibT_eX]

[DOI]

Johann J. Wannenburg

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

Propositional Dynamic Logic with Quantification over Regular Computation Sequences.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

Relevant Reasoners in a Classical World.

[BibT_eX]

[DOI]

Pietro Vigiani

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Hyperintensional logics for everyone.

[BibT_eX]

[DOI]

Synth., 2021

Correction to: Lambek Calculus with Conjugates.

[BibT_eX]

[DOI]

Stud Logica, 2021

Lambek Calculus with Conjugates.

[BibT_eX]

[DOI]

Stud Logica, 2021

Epistemic extensions of substructural inquisitive logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

Inquisitive Propositional Dynamic Logic.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

Situated Epistemic Updates.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Decidability and Complexity of Some Finitely-valued Dynamic Logics.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Relevant Epistemic Logic with Public Announcements and Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Expressivity of Some Versions of APAL.

[BibT_eX]

[DOI]

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

Finitely-Valued Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

From positive PDL to its non-classical extensions.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

Iterative division in the product-free Distributive Full Non-associative Lambek Calculus.

[BibT_eX]

[DOI]

CoRR, 2019

Substructural Propositional Dynamic Logics.

[BibT_eX]

[DOI]

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

Iterative Division in the Distributive Full Non-associative Lambek Calculus.

[BibT_eX]

[DOI]

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

First Degree Entailment with Group Attitudes and Information Updates.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2017

Substructural Logics with a Reflexive Transitive Closure Modality.

[BibT_eX]

[DOI]

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

Substructural Logics for Pooling Information.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Epistemic extensions of modal distributive substructural logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Propositional dynamic logic with Belnapian truth values.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Substructural epistemic logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

2013

Information, Awareness and Substructural Logics.

[BibT_eX]

[DOI]

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

Justifications, Awareness and Epistemic Dynamics.

[BibT_eX]

[DOI]