Reasoning with limited resources: active logics expressed as labelled deductive systems

zbMath1194.03025MaRDI QIDQ992074

J. Malec, M. Asker

Publication date: 10 September 2010

Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)

Full work available at URL: http://bulletin.pan.pl/(53-1)69.html

zbMATH Keywords

labelled deductive systemsactive logicreasoning with limited resources

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract deductive systems (03B22)

Related Items (1)

Active logic semantics for a single agent in a static world

This page was built for publication: Reasoning with limited resources: active logics expressed as labelled deductive systems