- Logical Omnipotence and Two notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Porto Alegre: Editora Fi. pp. 29-46.details
|
|
Almost Ideal: Computational Epistemology and the Limits of Rationality for Finite Reasoners.Danilo Fraga Dantas - 2016 - Dissertation, University of California, Davisdetails
|
|
The Undecidability of Iterated Modal Relativization.Joseph S. Miller & Lawrence S. Moss - 2005 - Studia Logica 79 (3):373-407.details
|
|
Logical separability of labeled data examples under ontologies.Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini & Frank Wolter - 2022 - Artificial Intelligence 313 (C):103785.details
|
|
(1 other version)Epistemologia Analítica, Vol .1: debates contemporâneos.Tiegue Vieira Rodrigues (ed.) - 2019 - Editora Fi.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
Modal definability of first-order formulas with free variables and query answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.details
|
|
Weak essentially undecidable theories of concatenation.Juvenal Murwanashyaka - 2022 - Archive for Mathematical Logic 61 (7):939-976.details
|
|
Exploiting functional dependencies in declarative problem specifications.Toni Mancini & Marco Cadoli - 2007 - Artificial Intelligence 171 (16-17):985-1010.details
|
|
Automated reformulation of specifications by safe delay of constraints.Marco Cadoli & Toni Mancini - 2006 - Artificial Intelligence 170 (8-9):779-801.details
|
|
(1 other version)The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.details
|
|
Logical foundations of information disclosure in ontology-based data integration.Michael Benedikt, Bernardo Cuenca Grau & Egor V. Kostylev - 2018 - Artificial Intelligence 262 (C):52-95.details
|
|
Von neumann’s consistency proof.Luca Bellotti - 2016 - Review of Symbolic Logic 9 (3):429-455.details
|
|
The expressive power of memory logics.Carlos Areces, Diego Figueira, Santiago Figueira & Sergio Mera - 2011 - Review of Symbolic Logic 4 (2):290-318.details
|
|
Hybrid logic meets if modal logic.Tero Tulenheimo - 2009 - Journal of Logic, Language and Information 18 (4):559-591.details
|
|
Undecidability of the Logic of Partial Quasiary Predicates.Mikhail Rybakov & Dmitry Shkatov - 2022 - Logic Journal of the IGPL 30 (3):519-533.details
|
|
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.details
|
|
The two‐variable fragment with counting and equivalence.Ian Pratt-Hartmann - 2015 - Mathematical Logic Quarterly 61 (6):474-515.details
|
|
(1 other version)The Range of Modal Logic: An essay in memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.details
|
|
Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.details
|
|
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.details
|
|
Reduction Techniques for Proving Decidability in Logics and Their Meet–Combination.João Rasga, Cristina Sernadas & Walter Carnielli - 2021 - Bulletin of Symbolic Logic 27 (1):39-66.details
|
|
Spatial reasoning with RCC 8 and connectedness constraints in Euclidean spaces.Roman Kontchakov, Ian Pratt-Hartmann & Michael Zakharyaschev - 2014 - Artificial Intelligence 217 (C):43-75.details
|
|
Complexity of hybrid logics over transitive frames.Martin Mundhenk, Thomas Schneider, Thomas Schwentick & Volker Weber - 2010 - Journal of Applied Logic 8 (4):422-440.details
|
|
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.details
|
|
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.details
|
|
First-order rewritability of ontology-mediated queries in linear temporal logic.Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2021 - Artificial Intelligence 299 (C):103536.details
|
|
Symbioses between mathematical logic and computer science.Andreas Blass - 2016 - Annals of Pure and Applied Logic 167 (10):868-878.details
|
|
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.details
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
On coarser interval temporal logics.Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco & Ionel Eduard Stan - 2019 - Artificial Intelligence 266 (C):1-26.details
|
|