Navegar

Colección

Datos Estadísticas

Lista de

Modal logic
21
"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245
"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245
"Decidability of order-based modal logics" (2017) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. Journal of Computer and System Sciences. 88:53-74
"Lukasiewicz public announcement logic" (2016) Cabrer, L.;Rivieccio, U.;Rodriguez, R.O. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:108-122
"Bi-modal Gödel logic over [0,1]-valued Kripke frames" (2015) Caicedo, X.; Rodríguez, R.O. Journal of Logic and Computation. 25(1):37-55
"Bi-modal Gödel logic over [0,1]-valued Kripke frames" (2015) Caicedo, X.; Rodríguez, R.O. Journal of Logic and Computation. 25(1):37-55
"Characterization, definability and separation via saturated models" (2014) Areces, C.; Carreiro, F.; Figueira, S. Theoretical Computer Science. 537(C):72-86
"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237
"On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice" (2011) Bou, F.; Esteva, F.; Godo, L.; Rodríguez, R.O. Journal of Logic and Computation. 21(5):739-790
"On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice" (2011) Bou, F.; Esteva, F.; Godo, L.; Rodríguez, R.O. Journal of Logic and Computation. 21(5):739-790
"Resolution with order and selection for hybrid logics" (2011) Areces, C.; Gorín, D. Journal of Automated Reasoning. 46(1):1-42
"Resolution with order and selection for hybrid logics" (2011) Areces, C.; Gorín, D. Journal of Automated Reasoning. 46(1):1-42
"On characterization, definability and ω-saturated models" (2011) Carreiro, F. 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011. 6916 LNCS:62-76
"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34
"On the size of shortest modal descriptions" (2010) Figueira, S.; Gorín, D. 8th International Conference on Advances in Modal Logic, AiML-2010. 8:120-139
"On the size of shortest modal descriptions" (2010) Figueira, S.; Gorín, D. 8th International Conference on Advances in Modal Logic, AiML-2010. 8:120-139
"Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations" (2009) Bou, F.; Esteva, F.; Godo, L.; Rodríguez, R. Joint 2009 International Fuzzy Systems Association World Congress, IFSA 2009 and 2009 European Society of Fuzzy Logic and Technology Conference, EUSFLAT 2009:1541-1546
"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61
"Completeness results for memory logics" (2009) Areces, C.; Figueira, S.; Mera, S. International Symposium on Logical Foundations of Computer Science, LFCS 2009. 5407 LNCS:16-30
"A connection between similarity logic programming and gödel modal logic" (2005) Blandi, L.; Godo, L.; Rodríguez, R.O. Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005:775-780