Login / Signup
Kurt Ranalter
Publication Activity (10 Years)
Years Active: 2003-2012
Publications (10 Years): 0
Top Topics
Higher Level
Parallel Machines
Argumentation Skills
Top Venues
LACL
</>
Publications
</>
Kurt Ranalter
Abstract Machines for Argumentation.
LACL
(2012)
Kurt Ranalter
Embedding Constructive K into Intuitionistic K.
Electron. Notes Theor. Comput. Sci.
262 (2010)
Kurt Ranalter
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication.
Fundam. Informaticae
84 (3-4) (2008)
Gianluigi Bellin
,
Kurt Ranalter
A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.
J. Log. Comput.
13 (5) (2003)