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

2016

Kulicki, Piotr; Trypuz, Robert

Multivalued logics for conflicting norm Inproceedings

Deontic Logic and Normative Systems (DEON 2016), pp. 123-138, College Publications, 2016.

BibTeX | Tagi: deontic logic

2015

Trypuz, Robert; Kulicki, Piotr

On deontic action logics based on Boolean algebra Journal Article

Journal of Logic and Computation, 25 (5), pp. 1241-1260, 2015.

Abstract | Links | BibTeX | Tagi: deontic logic

2014

Trypuz, Robert; Kulicki, Piotr

A deontic logic of actions and states Incollection

Cariani, Fabrizio; Grossi, Davide; Meheus, Joke; Parent, Xavier (Ed.): Deontic Logic and Normative Systems, 8554 , pp. 258-272, Springer, 2014, ISBN: 978-3-319-08614-9.

Abstract | Links | BibTeX | Tagi: deontic logic

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

2013

Kulicki, Piotr; Trypuz, Robert

Modelowanie działań i norm w logice deontycznej Incollection

Księga Pamiątkowa, pp. 57-70, Wydawnictwo Adam Marszałek, 2013.

BibTeX | Tagi: deontic logic

Kulicki, Piotr; Trypuz, Robert

Two faces of obligation Incollection

Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, Wydawnictwo Naukowe Semper, 2013, ISBN: 978-83-7507-205-1.

Abstract | Links | BibTeX | Tagi: deontic logic

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

2011

Trypuz, Robert

Simple Theory of Norm and Action Incollection

Brożek, Anna; Jadacki, Jacek; Zarnic, Berislav (Ed.): Theory of Imperatives from Different Points of View, pp. 120 – 136, Wydawnictwo Naukowe Semper, 2011, ISBN: 978-83-7507-078-1.

Links | BibTeX | Tagi: deontic logic

Trypuz, Robert; Kulicki, Piotr

A Norm-giver Meets Deontic Action Logic Journal Article

Logic and Logical Philosophy, 20 , pp. 59–-72, 2011.

Abstract | Links | BibTeX | Tagi: abilities, deontic logic

Kulicki, Piotr; Trypuz, Robert

How to Build a Deontic Action Logic Inproceedings

The Logica Yearbook, pp. 107–-120, College Publications, 2011.

Abstract | Links | BibTeX | Tagi: deontic logic, multivalued logic

2010

Trypuz, Robert; Kulicki, Piotr

Towards metalogical systematisation of deontic action logics based on Boolean algebra Inproceedings

Governatori, Guido; Sartor, Giovanni (Ed.): Deontic Logic in Computer Science (DEON 2010), pp. 132–147, 2010, ISBN: 978-3-642-14182-9.

Abstract | Links | BibTeX | Tagi: deontic logic

2009

Trypuz, Robert; Kulicki, Piotr

A systematics of deontic action logics based on Boolean algebra Journal Article

Logic and Logical Philosophy, 18 (3--4), pp. 253–270, 2009.

Abstract | Links | BibTeX | Tagi: deontic logic

2008

Trypuz, Robert

Setna -- prosta teoria norm i działań Journal Article

Filozofia Nauki, 3--4 (63--64) , pp. 155–175, 2008.

Links | BibTeX | Tagi: deontic logic

2004

Trypuz, Robert

Spór o wartość logiczną norm. Logika norm a logika deontyczna Journal Article

Roczniki Filozoficzne, LII (1), pp. 293–316, 2004.

Links | BibTeX | Tagi: deontic logic