Arild Waaler

Available identifiers

zbMath Open waaler.arildMaRDI QIDQ429590

List of research outcomes

Publication	Date of Publication	Type
Proof Search for the First-Order Connection Calculus in Maude	2015-03-19	Paper
Incremental variable splitting	2012-06-20	Paper
Confluent term rewriting for only-knowing logics	2011-04-12	Paper
A free variable sequent calculus with uniform variable splitting	2010-03-09	Paper
Trustworthiness by Default	2009-04-28	Paper
Logical Spaces in Multi-agent Only Knowing Systems	2009-04-28	Paper
A Labelled System for IPL with Variable Splitting	2009-03-06	Paper
Only knowing with degrees of confidence	2007-07-25	Paper
Liberalized variable splitting	2007-05-04	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Consistency proofs for systems of multi-agent only knowing	2006-08-15	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Tableaux for intuitionistic logics	2001-11-14	Paper
Connections in nonclassical logics	2001-10-21	Paper

Research outcomes over time

This page was built for person: Arild Waaler