Results 11 to 20 of about 1,497,677 (335)
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper we introduce Epistemic Strategy Logic (ESL), an extension of Strategy Logic with modal operators for individual knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own ...
Francesco Belardinelli
doaj +5 more sources
Logic of Algorithmic Knowledge [PDF]
Studies in Logic, Grammar and Rhetoric, 2015 In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj +2 more sources
Epistemic Logic: A Survey of the Logic of Knowledge [PDF]
Principia: An International Journal of Epistemology, 2018 Nesta resenha, eu destaco algumas das inovações na lógica epistêmica desenvolvida por Nicholas Rescher e amplio a discussão para o ensino de virtudes intelectuais.
Alexandre Ziani de Borba
doaj +3 more sources
Logic of (Common or Distributed)* Knowledge [PDF]
Electronic Proceedings in Theoretical Computer ScienceIn Proceedings TARK 2025, arXiv:2511 ...
Chenwei Shi
openaire +3 more sources
Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties [PDF]
Archives of Foundry Engineering, 2016 The objective of studies presented in this publication was structuring of research knowledge about the ADI functional properties and changes in these properties due to material treatment.
Regulski K. +4 more
doaj +2 more sources
A Dynamic Logic of Data-Informed Knowledge [PDF]
Journal of Philosophical LogicAbstractWith agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the ...
Kaya Deuser +3 more
openaire +4 more sources
The logic of knowledge bases: A review [PDF]
, 2002 Review of The Logic of Knowledge Bases, by Hector J. Levesque and Gerhard Lakemeyer, Cambridge, Massachusetts, The MIT Press, 282 pp., $45.00, ISBN 0-262- 12232-4.
Motta, Enrico
openaire +3 more sources
Logic of knowledge with infinitely many agents
Lietuvos Matematikos Rinkinys, 2023 Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5n.
Regimantas Pliuškevičius
doaj +3 more sources
Dretske on Closure of Knowledge and Its Rereading in Justification Logic [PDF]
حکمت و فلسفه, 2020 The K axiom in the logic of knowledge expresses this epistemological approach that knowledge is closed under known implications. For Dretske, for two reasons, the closure of knowledge cannot be tautology: first, the knowledge operator does not penetrate ...
Masoud Alvand
doaj +1 more source
Model generation and comparative analysis of legal knowledge bases
Lietuvos Matematikos Rinkinys, 2023 The article deals with the possibilities of computerized comparative legal analysis. Legal documents are formalized using frame logic (F-logic) and are stored in knowledge bases.
Laima Paliulionienė
doaj +3 more sources