Kurt Ranalter

According to our database¹, Kurt Ranalter authored at least 4 papers between 2003 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

Abstract Machines for Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2012

2009

Embedding Constructive K into Intuitionistic K.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

2008

A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

2003

A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.

[BibT_eX]

[DOI]

J. Log. Comput., 2003