scientific article; zbMATH DE number 125989
From MaRDI portal
Publication:4027734
Recommendations
- Kripke semantics for knowledge representation logics
- Finite Kripke models and predicate logics of provability
- On representing concepts in finite models
- Localizing finite-depth Kripke models
- F-K system of knowledge representation
- A formalism for knowledge representation
- scientific article; zbMATH DE number 125988
- scientific article; zbMATH DE number 4114591
- Modal logics for knowledge representation systems
- Knowledge representation and non-monotonic reasoning
Cited in
(22)- Are we finite?
- Representing the knowledge of Turing machines
- Partial up an down logic
- S5 knowledge without partitions
- F-K system of knowledge representation
- On representing concepts in finite models
- Representing imperfect information of procedures with hyper models
- Finitary \(\mathbf {S5}\)-theories
- scientific article; zbMATH DE number 65756 (Why is no real title available?)
- scientific article; zbMATH DE number 589744 (Why is no real title available?)
- A model-theoretic analysis of knowledge
- scientific article; zbMATH DE number 2020137 (Why is no real title available?)
- scientific article; zbMATH DE number 2090732 (Why is no real title available?)
- Temporal theories of reasoning
- A fugue on the themes of awareness logic and correspondence
- scientific article; zbMATH DE number 1453148 (Why is no real title available?)
- scientific article; zbMATH DE number 4197473 (Why is no real title available?)
- Probabilistic canonical models for partial logics
- Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs
- On partial and paraconsistent logics
- Two-dimensional awareness logics
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4027734)
