Axiomatization and computability of a variant of iteration-free PDL with fork
Balbiani, Philippe, Boudou, Joseph
Published in Journal of logical and algebraic methods in programming (01.11.2019)
Published in Journal of logical and algebraic methods in programming (01.11.2019)
Get full text
Journal Article
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
Balbiani, Philippe, Fernández-Duque, David, Lorini, Emiliano
Published in Studia logica (01.06.2019)
Published in Studia logica (01.06.2019)
Get full text
Journal Article
About the unification type of K
Balbiani, Philippe, Gencer, Çiğdem, Rostamigiv, Maryam, Tinchev, Tinko
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Get full text
Journal Article
About the unification type of $\mathbf {K}+\square \square \bot
Balbiani, Philippe, Gencer, Çiğdem, Rostamigiv, Maryam, Tinchev, Tinko
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Get full text
Journal Article
About the unification type of [K.sub.+] [??][??][perpendicular to]
Balbiani, Philippe, Gencer, Cigdem, Rostamigiv, Maryam, Tinchev, Tinko
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Published in Annals of mathematics and artificial intelligence (01.05.2022)
Get full text
Journal Article
About the unification type of K + Box Box false
Balbiani, Philippe, Gencer, Cigdem, Rostamigiv, Maryam, Tinchev, Tinko
Published in Annals of mathematics and artificial intelligence (01.09.2021)
Get full text
Published in Annals of mathematics and artificial intelligence (01.09.2021)
Journal Article
Simple Axioms for Local Properties
Balbiani, Philippe, van der Hoek, Wiebe, Kuijer, Louwe B.
Published in Electronic proceedings in theoretical computer science (11.07.2023)
Published in Electronic proceedings in theoretical computer science (11.07.2023)
Get full text
Journal Article
KD is nullary
Balbiani, Philippe, Gencer, Çiğdem
Published in Journal of applied non-classical logics (02.10.2017)
Published in Journal of applied non-classical logics (02.10.2017)
Get full text
Journal Article
Unification in epistemic logics
Balbiani, Philippe, Gencer, Çiğdem
Published in Journal of applied non-classical logics (03.04.2017)
Published in Journal of applied non-classical logics (03.04.2017)
Get full text
Journal Article
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
Balbiani, Philippe, Herzig, Andreas, Troquard, Nicolas
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Get full text
Conference Proceeding