Publications

Show all

2017

Trypuz, Robert; Kulicki, Piotr

Connecting actions and states in deontic logic Journal Article Forthcoming

Studia Logica, Forthcoming.

Abstract | Links | BibTeX | Tagi: deontic logic, logic of action

2014

Trypuz, Robert (Ed.)

Krister Segerberg on Logic of Actions Book

Springer, 2014, ISBN: 978-94-007-7045-4.

Abstract | Links | BibTeX | Tagi: deontic logic, doxastic logic, Krister Segerberg, logic of action

2012

Kulicki, Piotr; Trypuz, Robert

A deontic action logic with sequential composition of actions Inproceedings

Agotnes, Thomas; Broersen, Jan; Elgesem, Dag (Ed.): Deontic Logic in Computer Science, Lecture Notes in Computer Science, pp. 184–198, Springer Berlin / Heidelberg, DOI: 10.1007/978-3-642-31570-1_13, 2012, ISBN: 978-3-642-31569-5.

Abstract | Links | BibTeX | Tagi: deontic logic, logic of action