Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy - Poland
doi 10.12775/llp.2019.008
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

Related search

Unification in Epistemic Logics

Journal of Applied Non-Classical Logics
PhilosophyLogic
2017English

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

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Process Modelling Using Fuzzy Epistemic and Deontic Logics

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

Game Solution, Epistemic Dynamics and Fixed-Point Logics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Studia Logica
Philosophy of ScienceLogicHistory
2018English

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

Environmental Science and Policy
DevelopmentManagementMonitoringPlanningPolicyLawGeography
2019English

Temporal Externalism and Epistemic Theories of Vagueness

Philosophical Studies
Philosophy
2004English

Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy