A Goal-Directed Decision Procedure for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
Journal of Automated Reasoning
InKreSAT: Modal Reasoning via Incremental Reduction to SAT
(pdf)
Mark Kaminski, Tobias Tebbi
CADE-24
Incremental Decision Procedures for Modal Logics with Nominals and Eventualities
(pdf)
Mark Kaminski
PhD Thesis, Saarland University
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
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
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
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
A Straightforward Saturation-Based Decision Procedure for Hybrid Logic
(pdf)
Mark Kaminski, Gert Smolka
International Workshop on Hybrid Logic 2007 (HyLo 2007)
Completeness Results for Higher-Order Equational Logic
(pdf)
Mark Kaminski
Master's Thesis, Saarland University
Studies in Higher-Order Equational Logic, Bachelor's Thesis
(pdf)
Mark Kaminski
Bachelor's Thesis