Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Krzysztof Aleksander Krawczyk
Fibring Epistemic and Temporal Logics
Logic and Logical Philosophy
Philosophy
Related publications
Unification in Epistemic Logics
Journal of Applied Non-Classical Logics
Philosophy
Logic
Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Process Modelling Using Fuzzy Epistemic and Deontic Logics
Scientific Papers of Silesian University of Technology. Organization and Management Series
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
Studia Logica
Philosophy of Science
Logic
History
Reinterpreting Urban Institutions for Sustainability: How Epistemic Networks Shape Knowledge and Logics
Environmental Science and Policy
Development
Management
Monitoring
Planning
Policy
Law
Geography
Temporal Externalism and Epistemic Theories of Vagueness
Philosophical Studies
Philosophy
Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementation of Propositional Temporal Logics Using BDDs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
