Results 101 to 110 of about 76,636 (151)

Expressivity of Logics of Knowledge and Action

, 2014
Bouke Kuijer
openalex   +1 more source

Extending a Logic-based Model with Algebraic Knowledge

, 1995
Jean–Pierre Chevallet, Yves Chiaramella   +1 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Abstraction In Model Checking Real-Time Temporal Logic of Knowledge

Journal of Computers, 2012
Conghua Zhou, Bo Sun
semanticscholar   +1 more source

MCK: Model Checking the Logic of Knowledge

International Conference on Computer Aided Verification, 2004
Peter Gammie, R. V. D. Meyden
semanticscholar   +1 more source

Distributed Processes and the Logic of Knowledge

Logic of Programs, 1985
R. Parikh, R. Ramanujam
semanticscholar   +1 more source

A logic of knowledge and belief for reasoning about computer security

Proceedings of the Computer Security Foundations Workshop II,, 1989
L. Moser
semanticscholar   +1 more source

Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

Journal of Logic and Computation, 2011
C. Dima
semanticscholar   +1 more source

The Logic of Knowledge Based Obligation

Synthese, 2006
E. Pacuit, R. Parikh, E. Cogan
semanticscholar   +1 more source

The logic of knowledge bases

, 2000
H. Levesque, G. Lakemeyer
semanticscholar   +1 more source

A Logic of Knowledge and Justified Assumptions

Artificial Intelligence, 1992
Fangzhen Lin, Y. Shoham
semanticscholar   +1 more source