dblp.uni-trier.dewww.uni-trier.de

Joke Meheus

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EEJoke Meheus, Diderik Batens: A Formal Logic for Abductive Reasoning. Logic Journal of the IGPL 14(2): 221-236 (2006)
2001
3 Diderik Batens, Joke Meheus: Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. Studia Logica 69(2): 221-248 (2001)
2000
2 Diderik Batens, Joke Meheus: A Tableau Method for Inconsistency-Adaptive Logics. TABLEAUX 2000: 127-142
1 Diderik Batens, Joke Meheus: The Adaptive Logic of Compatibility. Studia Logica 66(3): 327-348 (2000)

Coauthor Index

1Diderik Batens [1] [2] [3] [4]

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)