Unification in Epistemic Logics

Journal of Applied Non-Classical Logics - United States
doi 10.1080/11663081.2017.1368845
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Informa UK Limited

Related search

Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy
Philosophy
2019English

Process Modelling Using Fuzzy Epistemic and Deontic Logics

Scientific Papers of Silesian University of Technology. Organization and Management Series
2017English

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Studia Logica
Philosophy of ScienceLogicHistory
2018English

Game Solution, Epistemic Dynamics and Fixed-Point Logics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Reinterpreting Urban Institutions for Sustainability: How Epistemic Networks Shape Knowledge and Logics

Environmental Science and Policy
DevelopmentManagementMonitoringPlanningPolicyLawGeography
2019English

Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames

2017English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Epistemic Modality in Georgian

Verbum
2015English

Unification Neural Networks: Unification by Error-Correction Learning

Logic Journal of the IGPL
Philosophy
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy