Programming Systems Lab: Publications by Mark Kaminski

Saarland University Computer Science

Select author:

2014

A Goal-Directed Decision Procedure for Hybrid PDL   (pdf)
Mark Kaminski, Gert Smolka
Journal of Automated Reasoning

2013

InKreSAT: Modal Reasoning via Incremental Reduction to SAT   (pdf)
Mark Kaminski, Tobias Tebbi
CADE-24

2012

Incremental Decision Procedures for Modal Logics with Nominals and Eventualities   (pdf)
Mark Kaminski
PhD Thesis, Saarland University

2011

Clausal Tableaux for Hybrid PDL   (pdf)
Mark Kaminski, Gert Smolka
M4M-7

Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities   (pdf)
Mark Kaminski, Gert Smolka
Technical Report

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics   (pdf)
Mark Kaminski, Thomas Schneider, Gert Smolka
TABLEAUX 2011

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science

2010

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference   (pdf)
Mark Kaminski, Gert Smolka
LPAR-17

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles   (pdf)
Mark Kaminski, Gert Smolka
TCS 2010

Clausal Tableaux for Hybrid PDL   (pdf)
Mark Kaminski, Gert Smolka
Technical Report

Terminating Tableaux for Hybrid Logic with Eventualities   (pdf)
Mark Kaminski, Gert Smolka
IJCAR 2010

Spartacus: A Tableau Prover for Hybrid Logic   (pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6

2009

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles   (pdf)
Mark Kaminski, Gert Smolka
DL 2009

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies   (pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009

Terminating Tableau Systems for Hybrid Logic with Difference and Converse   (pdf)
Mark Kaminski, Gert Smolka
Journal of Logic, Language and Information

Hybrid Tableaux for the Difference Modality   (pdf)
Mark Kaminski, Gert Smolka
M4M-5

2008

A Minimal Propositional Type Theory   (pdf)
Mark Kaminski, Gert Smolka
Technical Report

A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus   (pdf)
Mark Kaminski, Gert Smolka
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Terminating Tableau Systems for Modal Logic with Equality   (pdf)
Mark Kaminski, Gert Smolka
Technical Report, Submitted

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse   (pdf)
Mark Kaminski, Gert Smolka
IJCAR 2008

2007

A Straightforward Saturation-Based Decision Procedure for Hybrid Logic   (pdf)
Mark Kaminski, Gert Smolka
International Workshop on Hybrid Logic 2007 (HyLo 2007)

2006

Completeness Results for Higher-Order Equational Logic   (pdf)
Mark Kaminski
Master's Thesis, Saarland University

2005

Studies in Higher-Order Equational Logic, Bachelor's Thesis   (pdf)
Mark Kaminski
Bachelor's Thesis


Login to edit


Webmaster, Mon May 30 13:48:30 2016