Add to ORKG6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, O...
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the...
International audienceThe Handbook of Modal Logic contains 20 articles, which collectively introduce...
abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also ...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of re...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
The fifth conference on "Advances in modal logic (AiML 2004)" took place at University of Manchester...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
Publié dans le cadre du programme de recherche éponyme développé à la Sorbonne depuis 2015.Internati...
This course covers sentential and quantified modal logic, with emphasis on the model theory ("p...
6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, O...
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the...
International audienceThe Handbook of Modal Logic contains 20 articles, which collectively introduce...
abstract. A first-order dynamic epistemic logic is developed where the names of the agents are also ...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of re...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
Dynamic logic is a language for specifying programming languages and gives a proof calculus for veri...
The dynamic modal logic DML is presented, featuring actions that change the interpretation of a prop...
The fifth conference on "Advances in modal logic (AiML 2004)" took place at University of Manchester...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
Publié dans le cadre du programme de recherche éponyme développé à la Sorbonne depuis 2015.Internati...
This course covers sentential and quantified modal logic, with emphasis on the model theory ("p...
6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, O...
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the...
International audienceThe Handbook of Modal Logic contains 20 articles, which collectively introduce...