Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy- Poland

doi 10.12775/llp.2019.008

Full Text

Abstract

Available in

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

Game Solution, Epistemic Dynamics and Fixed-Point Logics

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

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

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

Privacy PolicyRefund Policy