Modal Languages and Bounded Fragments of Predicate Logic, Journal of Philosophical Logic, vol.60, issue.5, pp.217-274, 1998. ,
DOI : 10.1023/A:1004275029985
Hybrid logics, Handbook of Modal Logics, pp.821-868, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00000307
Satisfiability modulo theories, Handbook of Satisfiability, pp.825-885, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01095009
Elementare Aussagenlogik, 1991. ,
DOI : 10.1007/978-3-642-84263-4
Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science, 2001. ,
Termination for Hybrid Tableaus, Journal of Logic and Computation, vol.17, issue.3, pp.517-554, 2007. ,
DOI : 10.1093/logcom/exm014
The Classical Decision Problem, 1997. ,
DOI : 10.1007/978-3-642-59207-2
Optimal implementation of conjunctive queries in relational databases, Proc. 9th ACM Symp. Theory of Computing, pp.77-90, 1977. ,
A note on the Entscheidungsproblem, The Journal of Symbolic Logic, vol.166, issue.01, pp.40-41, 1936. ,
DOI : 10.1007/BF01475439
A resolution-based decision procedure for extensions of K4, Advances in Modal Logic, pp.225-246, 1998. ,
Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m), Information and Computation, vol.162, issue.1-2, pp.158-178, 2000. ,
DOI : 10.1006/inco.1999.2850
Using the Universal Modality: Gains and Questions, Journal of Logic and Computation, vol.2, issue.1, pp.5-30, 1992. ,
DOI : 10.1093/logcom/2.1.5
Abstract, Bulletin of Symbolic Logic, vol.40, issue.01, pp.53-69, 1997. ,
DOI : 10.1007/BF01449155
Two-variable logic with counting is decidable, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, pp.306-317, 1997. ,
DOI : 10.1109/LICS.1997.614957
Resolution-based methods for modal logics, Logic Journal of the IGPL, vol.8, issue.3, pp.265-292, 2000. ,
???ber M???glichkeiten im Relativkalk???l, Mathematische Annalen, vol.76, issue.4, pp.447-470, 1915. ,
DOI : 10.1007/BF01458217
Solving SAT and SAT Modulo Theories, Journal of the ACM, vol.53, issue.6, pp.937-977, 2006. ,
DOI : 10.1145/1217856.1217859
Functional translation and second-order frame properties of modal logics, Journal of Logic and Computation, vol.7, issue.5, pp.581-603, 1997. ,
DOI : 10.1093/logcom/7.5.581
Complexity of two-variable logic with counting, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, pp.318-327, 1997. ,
DOI : 10.1109/LICS.1997.614958
First-Order Resolution Methods for Modal Logics, Programming Logics ? Essays in Memory of Harald Ganzinger, pp.345-391, 2013. ,
DOI : 10.1007/978-3-642-02959-2_20
Using tableau to decide description logics with full role negation and identity, ACM Transactions on Computational Logic, vol.15, issue.1, p.2014 ,
DOI : 10.1145/2559947
A decision method for validity of sentences in two variables, Journal of Symbolic Logic, vol.27, issue.377, p.74, 1962. ,
SAT techniques for modal and description logics, Handbook of Satisfiability, pp.781-824, 2009. ,
On computable numbers, with an application to the 'Entscheidungsproblem, Proc. London Mathematical Society 2nd. series, pp.230-265, 1937. ,
Why is modal logic so robustly decidable?, DIMACS Ser. Disc. Math. Theoret. Comp. Sci, vol.31, pp.149-184, 1997. ,