Found: 12
Select item for more details and to access through your institution.
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 533, doi. 10.1017/jsl.2019.22
- By:
- Publication type:
- Article
ON THE COMPLEXITY OF (RESTRICTED) ALCIr.
- Published in:
- Publications de l'Institut Mathématique, 2014, v. 95, n. 109, p. 133, doi. 10.2298/PIM1409133M
- By:
- Publication type:
- Article
Common knowledge and quantification.
- Published in:
- Economic Theory, 2002, v. 19, n. 1, p. 157, doi. 10.1007/s001990100201
- By:
- Publication type:
- Article
Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 645, doi. 10.1613/jair.1.14061
- By:
- Publication type:
- Article
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 75, p. 1223, doi. 10.1613/jair.1.13511
- By:
- Publication type:
- Article
A Decidable Extension of SROIQ with Complex Role Chains and Unions.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 809, doi. 10.1613/jair.4022
- By:
- Publication type:
- Article
The DL-Lite Family and Relations.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 36, p. 1, doi. 10.1613/jair.2820
- By:
- Publication type:
- Article
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 23, p. 167, doi. 10.1613/jair.1537
- By:
- Publication type:
- Article
On Non-local Propositional and Weak Monodic Quantified CTL*.
- Published in:
- Journal of Logic & Computation, 2004, v. 14, n. 1, p. 3, doi. 10.1093/logcom/14.1.3
- By:
- Publication type:
- Article
On the Products of Linear Modal Logics.
- Published in:
- Journal of Logic & Computation, 2001, v. 11, n. 6, p. 909, doi. 10.1093/logcom/11.6.909
- By:
- Publication type:
- Article
Temporalising Tableaux.
- Published in:
- Studia Logica, 2004, v. 76, n. 1, p. 91, doi. 10.1023/b:stud.0000027468.28935.6d
- By:
- Publication type:
- Article
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable.
- Published in:
- Studia Logica, 1997, v. 59, n. 3, p. 345, doi. 10.1023/A:1005084328298
- By:
- Publication type:
- Article