On the public citation graph

Epistemic Logic for AI and Computer Science

https://doi.org/10.1017/cbo9780511569852

0 signed · 551 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.1986203openalex-extracted

inferred← citeshttps://doi.org/10.1002/1521-3870(200211)48:4<624::aid-malq624>3.0.co;2-3openalex-snapshot

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

inferred← citeshttps://doi.org/10.1002/9780470050118.ecse007openalex-snapshot

Agent Technology

inferred← citeshttps://doi.org/10.1002/9780470665237.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1002/9780470996751.ch32openalex-snapshot

Deontic, Epistemic, and Temporal Modal Logics

inferred← citeshttps://doi.org/10.1002/9781405164801.ch9openalex-snapshot

Epistemic Logic

inferred← citeshttps://doi.org/10.1002/int.20150openalex-snapshot

Reasoning about emotional agents

inferred← citeshttps://doi.org/10.1007/0-387-31072-x_3openalex-snapshot

Open Problems in Logical Dynamics

inferred← citeshttps://doi.org/10.1007/1-4020-4094-6_1openalex-snapshot

Logics for Epistemic Programs

inferred← citeshttps://doi.org/10.1007/1-4020-4631-6_11openalex-snapshot

A Logical Framework for Convention

inferred← citeshttps://doi.org/10.1007/1-4020-4631-6_7openalex-snapshot

Prolegomena to Dynamic Logic for Belief Revision

inferred← citeshttps://doi.org/10.1007/1-84628-271-3_7openalex-snapshot

Verification Within the KARO Agent Theory

inferred← citeshttps://doi.org/10.1007/10719619_2openalex-snapshot

A Spectrum of Modes of Knowledge Sharing between Agents

inferred← citeshttps://doi.org/10.1007/11533092_7openalex-snapshot

Metareasoning for Multi-agent Epistemic Logics

inferred← citeshttps://doi.org/10.1007/11548669_65openalex-snapshot

Ordered Belief Fusion in Possibilistic Logic

inferred← citeshttps://doi.org/10.1007/11554554_12openalex-snapshot

A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics

inferred← citeshttps://doi.org/10.1007/11568322_9openalex-snapshot

A Fundamental View on the Process of Conceptual Modeling

inferred← citeshttps://doi.org/10.1007/11579427_3openalex-snapshot

The Topological Effect of Improving Knowledge Acquisition

inferred← citeshttps://doi.org/10.1007/11691792_3openalex-snapshot

Complete Axiomatizations of Finite Syntactic Epistemic States

inferred← citeshttps://doi.org/10.1007/11750734_4openalex-snapshot

Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures

inferred← citeshttps://doi.org/10.1007/11750734_7openalex-snapshot

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables

inferred← citeshttps://doi.org/10.1007/11786849_11openalex-snapshot

Counts-as: Classification or Constitution? An Answer Using Modal Logic

inferred← citeshttps://doi.org/10.1007/11853886_28openalex-snapshot

Anti-prenexing and Prenexing for Modal Logics

inferred← citeshttps://doi.org/10.1007/11964810_2openalex-snapshot

Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView

inferred← citeshttps://doi.org/10.1007/3-540-32370-8_5openalex-snapshot

Creating Common Beliefs in Rescue Situations

inferred← citeshttps://doi.org/10.1007/3-540-36206-1_18openalex-snapshot

Knowledge over Dense Flows of Time (from a Hybrid Point of View)

inferred← citeshttps://doi.org/10.1007/3-540-40006-0_19openalex-snapshot

A Modal Logic for Network Topologies

inferred← citeshttps://doi.org/10.1007/3-540-40006-0_20openalex-snapshot

Avoiding Logical Omniscience by Using Subjective Situations

inferred← citeshttps://doi.org/10.1007/3-540-40006-0_23openalex-snapshot

Monodic Epistemic Predicate Logic

inferred← citeshttps://doi.org/10.1007/3-540-45023-8_9openalex-snapshot

Calibrating Collective Commitments

inferred← citeshttps://doi.org/10.1007/3-540-45448-9_7openalex-snapshot

On Multi-agent Systems Specification via Deontic Logic

inferred← citeshttps://doi.org/10.1007/3-540-45484-5_3openalex-snapshot

Verification within the KARO Agent Theory

inferred← citeshttps://doi.org/10.1007/3-540-45941-3_3openalex-snapshot

On BAN Logics for Industrial Security Protocols

inferred← citeshttps://doi.org/10.1007/3-540-46017-9_9openalex-snapshot

Model Checking Knowledge and Time

inferred← citeshttps://doi.org/10.1007/3-540-47745-4_3openalex-snapshot

Logical Foundations of Agent-Based Computing

inferred← citeshttps://doi.org/10.1007/3-540-49426-x_19openalex-snapshot

How much does an agent believe: an extension of modal epistemic logic

inferred← citeshttps://doi.org/10.1007/3-540-58140-5_34openalex-snapshot

A logic of capabilities

inferred← citeshttps://doi.org/10.1007/3-540-58792-6_21openalex-snapshot

Formal semantics of temporal epistemic reflection

inferred← citeshttps://doi.org/10.1007/3-540-60437-5_40openalex-snapshot

Seeing is believing

inferred← citeshttps://doi.org/10.1007/978-0-387-69245-6_1openalex-snapshot

On Two Models of Provability

inferred← citeshttps://doi.org/10.1007/978-0-387-89299-3_4openalex-snapshot

Programming Rational Agents in GOAL

inferred← citeshttps://doi.org/10.1007/978-1-4419-6984-2_8openalex-snapshot

A Verification Logic for Goal Agents

inferred← citeshttps://doi.org/10.1007/978-1-4613-1139-3openalex-snapshot

Epistemic Logic and the Theory of Games and Decisions

inferred← citeshttps://doi.org/10.1007/978-1-4613-1139-3_2openalex-snapshot

A Complete Epistemic Logic for Multiple Agents

inferred← citeshttps://doi.org/10.1007/978-1-4615-1567-8_13openalex-snapshot

Dynamic Logic for Reasoning About Actions and Agents

inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_4openalex-snapshot

The Role of Deontic Logic in the Specification of Information Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-25693-7_9openalex-snapshot

Belief Shadowing

inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_17openalex-snapshot

Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-33792-6_17openalex-snapshot

Doxastic Group Reasoning via Multiple Belief Shadowing

inferred← citeshttps://doi.org/10.1007/978-3-030-35166-3_9openalex-snapshot

From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics

inferred← citeshttps://doi.org/10.1007/978-3-030-36755-8_2openalex-snapshot

Observable Models

inferred← citeshttps://doi.org/10.1007/978-3-030-39951-1_13openalex-snapshot

Craig Interpolation of Epistemic Logics with Distributed Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-030-44638-3_1openalex-snapshot

Group Belief

inferred← citeshttps://doi.org/10.1007/978-3-030-65840-3_16openalex-snapshot

Simpler Completeness Proofs for Modal Logics with Intersection

inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_14openalex-snapshot

A Multi-Agent Depth Bounded Boolean Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_17openalex-snapshot

Reasoning About Ignorance and Beliefs

inferred← citeshttps://doi.org/10.1007/978-3-030-75267-5_1openalex-snapshot

Knowledge and Simplicial Complexes

inferred← citeshttps://doi.org/10.1007/978-3-030-75775-5_17openalex-snapshot

A Computationally Grounded Logic of Graded Belief

inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_6openalex-snapshot

Weighted Modal Logic in Epistemic and Deontic Contexts

inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_8openalex-snapshot

Crossing Hands in the Russian Cards Problem

inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_1openalex-snapshot

Formalized Soundness and Completeness of Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-91680-0_4openalex-snapshot

Epistemic, Default and Dynamic Logics

inferred← citeshttps://doi.org/10.1007/978-3-030-92655-7_4openalex-snapshot

Guilty Minds and Collective Know-how

inferred← citeshttps://doi.org/10.1007/978-3-031-20862-1_3openalex-snapshot

Epistemic Logic via Distance and Similarity

inferred← citeshttps://doi.org/10.1007/978-3-031-26622-5_2openalex-snapshot

Parametrized Modal Logic II: The Unidimensional Case

inferred← citeshttps://doi.org/10.1007/978-3-031-26622-5_7openalex-snapshot

Cautious Distributed Belief

inferred← citeshttps://doi.org/10.1007/978-3-031-51777-8_8openalex-snapshot

A Logical Approach to Doxastic Causal Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_3openalex-snapshot

Beyond Knowledge of the Model

inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_17openalex-snapshot

Explicit and Implicit Belief in First Degree Entailment with Strict Implication

inferred← citeshttps://doi.org/10.1007/978-3-031-75775-4_4openalex-snapshot

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case

inferred← citeshttps://doi.org/10.1007/978-3-031-86069-0_23openalex-snapshot

A Logical Language for Reasoning About Democratic Decision-Making

inferred← citeshttps://doi.org/10.1007/978-3-032-33486-2_3openalex-snapshot

Axiomatizing Eventual Common Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-032-39395-1_29openalex-snapshot

Bases as a Unifying Framework for Reasoning About Knowledge and Belief

inferred← citeshttps://doi.org/10.1007/978-3-319-03044-9_5openalex-snapshot

Principles of Knowledge, Belief and Conditional Belief

inferred← citeshttps://doi.org/10.1007/978-3-319-06025-5_12openalex-snapshot

Structures for Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-06025-5_16openalex-snapshot

Knowledge Games and Coalitional Abilities

inferred← citeshttps://doi.org/10.1007/978-3-319-07455-9_14openalex-snapshot

Answer Set Programs with One Incremental Variable

inferred← citeshttps://doi.org/10.1007/978-3-319-07593-8_46openalex-snapshot

Are There Semantic Primes in Formal Languages?

inferred← citeshttps://doi.org/10.1007/978-3-319-07650-8_7openalex-snapshot

Indeterministic Belief Structures

inferred← citeshttps://doi.org/10.1007/978-3-319-12096-6_1openalex-snapshot

Coming Upon the Classic Notion of Implicit Knowledge Again

inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_17openalex-snapshot

Tractable Reasoning about Group Beliefs

inferred← citeshttps://doi.org/10.1007/978-3-319-17130-2_17openalex-snapshot

Arbitrary Announcements on Topological Subset Spaces

inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_1openalex-snapshot

Agency and Interaction What We Are and What We Do in Formal Epistemology

inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_32openalex-snapshot

The Logic of Justification

inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_39openalex-snapshot

A Qualitative Theory of Dynamic Interactive Belief Revision

inferred← citeshttps://doi.org/10.1007/978-3-319-27683-0_10openalex-snapshot

Augmenting Subset Spaces to Cope with Multi-agent Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-319-27683-0_2openalex-snapshot

Pairing Traditional and Generic Common Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-319-40220-8_3openalex-snapshot

Inconsistency in Ceteris Paribus Imagination

inferred← citeshttps://doi.org/10.1007/978-3-319-47650-6_40openalex-snapshot

A Subset Space Perspective on Agents Cooperating for Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-319-48758-8_16openalex-snapshot

Reasoning About Justified Belief Based on the Fusion of Evidence

inferred← citeshttps://doi.org/10.1007/978-3-319-60438-1_23openalex-snapshot

Rule-Based Reasoning with Belief Structures

inferred← citeshttps://doi.org/10.1007/978-3-319-62864-6_18openalex-snapshot

The Proof Theory of Common Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-319-62864-6_22openalex-snapshot

Epistemic Logic with Evidence and Relevant Alternatives

inferred← citeshttps://doi.org/10.1007/978-3-319-62864-6_9openalex-snapshot

Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-72056-2_2openalex-snapshot

Justification Awareness Models

inferred← citeshttps://doi.org/10.1007/978-3-540-24581-0_29openalex-snapshot

A Tableaux System for Deontic Interpreted Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-25927-5_8openalex-snapshot

Defeasible Logic: Agency, Intention and Obligation

inferred← citeshttps://doi.org/10.1007/978-3-540-25927-5_9openalex-snapshot

Collective Obligations and Agents: Who Gets the Blame?

inferred← citeshttps://doi.org/10.1007/978-3-540-25930-5_2openalex-snapshot

Coordinating Agents in OO

inferred← citeshttps://doi.org/10.1007/978-3-540-27815-3_17openalex-snapshot

A Hybrid Logic of Knowledge Supporting Topological Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-540-30133-2_5openalex-snapshot

Epistemic Logic and Planning

inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_10openalex-snapshot

Practical Reasoning for Uncertain Agents

inferred← citeshttps://doi.org/10.1007/978-3-540-32260-3_11openalex-snapshot

A Dialogue Game to Offer an Agreement to Disagree

inferred← citeshttps://doi.org/10.1007/978-3-540-39813-4_9openalex-snapshot

Extended Canonicity of Certain Topological Properties of Set Spaces

inferred← citeshttps://doi.org/10.1007/978-3-540-45062-7_40openalex-snapshot

Epistemic Logics for Information Fusion

inferred← citeshttps://doi.org/10.1007/978-3-540-68143-4_13openalex-snapshot

Combining Normal Communication with Ontology Alignment

inferred← citeshttps://doi.org/10.1007/978-3-540-68143-4_16openalex-snapshot

Can I Please Drop It? Dialogues About Belief Contraction

inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_1openalex-snapshot

Justified and Common Knowledge: Limited Conservativity

inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_70openalex-snapshot

Dynamics of Approximate Information Fusion

inferred← citeshttps://doi.org/10.1007/978-3-540-73681-3_4openalex-snapshot

Dynamic Epistemic Logic and Knowledge Puzzles

inferred← citeshttps://doi.org/10.1007/978-3-540-74469-6_50openalex-snapshot

A Logic Framework to Support Database Refactoring

inferred← citeshttps://doi.org/10.1007/978-3-540-75119-9_2openalex-snapshot

Towards a Delegation Framework for Aerial Robotic Mission Scenarios

inferred← citeshttps://doi.org/10.1007/978-3-540-75254-7_28openalex-snapshot

Towards Approximate BGI Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-76650-6_5openalex-snapshot

A Verification Framework for Agent Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-540-77564-5_2openalex-snapshot

Joint Conversation Specification and Compliance

inferred← citeshttps://doi.org/10.1007/978-3-540-87803-2_1openalex-snapshot

Justification Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-88190-2_24openalex-snapshot

Methodical Construction of Symbolic Diagrams

inferred← citeshttps://doi.org/10.1007/978-3-540-88309-8_1openalex-snapshot

Topology and Knowledge of Multiple Agents

inferred← citeshttps://doi.org/10.1007/978-3-540-88833-8_14openalex-snapshot

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-88833-8_6openalex-snapshot

Proof Theory for Distributed Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-540-92687-0_14openalex-snapshot

Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-01818-3_16openalex-snapshot

A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-02261-6_12openalex-snapshot

First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

inferred← citeshttps://doi.org/10.1007/978-3-642-02377-4_1openalex-snapshot

Issues in Designing Logical Models for Norm Change

inferred← citeshttps://doi.org/10.1007/978-3-642-03214-1_9openalex-snapshot

Case-Study for TeamLog, a Theory of Teamwork

inferred← citeshttps://doi.org/10.1007/978-3-642-10439-8_2openalex-snapshot

Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-13480-7_33openalex-snapshot

Using Perseus System for Modelling Epistemic Interactions

inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_3openalex-snapshot

Group Announcements: Logic and Games (Abstract of Invited Talk)

inferred← citeshttps://doi.org/10.1007/978-3-642-18026-2_17openalex-snapshot

Becoming Aware of Propositional Variables

inferred← citeshttps://doi.org/10.1007/978-3-642-18690-5_4openalex-snapshot

Intelligent Agents: Issues and Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_6openalex-snapshot

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models

inferred← citeshttps://doi.org/10.1007/978-3-642-24016-4_6openalex-snapshot

Using the Perseus System for Modelling Epistemic Interactions

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_15openalex-snapshot

Logics of Belief over Weighted Structures

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_21openalex-snapshot

An Epistemic Logic with Hypotheses

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_24openalex-snapshot

Public Announcement Logic with Distributed Knowledge

inferred← citeshttps://doi.org/10.1007/978-3-642-24130-7_25openalex-snapshot

An Alternative Logic for Knowability

inferred← citeshttps://doi.org/10.1007/978-3-642-25975-3_2openalex-snapshot

Interest Logic and Its Application on the Web

inferred← citeshttps://doi.org/10.1007/978-3-642-29326-9_10openalex-snapshot

A Logical View on Teamwork

inferred← citeshttps://doi.org/10.1007/978-3-642-29326-9_8openalex-snapshot

Agents in Approximate Environments

inferred← citeshttps://doi.org/10.1007/978-3-642-30341-8_2openalex-snapshot

Knowledge Algebras and Their Discrete Duality

inferred← citeshttps://doi.org/10.1007/978-3-642-31467-4_7openalex-snapshot

Distributed Knowledge with Justifications

inferred← citeshttps://doi.org/10.1007/978-3-642-32729-2_1openalex-snapshot

Coalitional Public Announcement Games

inferred← citeshttps://doi.org/10.1007/978-3-642-33152-7openalex-snapshot

Argumentation in Multi-Agent Systems

inferred← citeshttps://doi.org/10.1007/978-3-642-33152-7_8openalex-snapshot

Reasoning about and Discussing Preferences between Arguments

inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_22openalex-snapshot

Subset Space Public Announcement Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-37756-3_5openalex-snapshot

Shared Strategies in Artificial Agent Societies

inferred← citeshttps://doi.org/10.1007/978-3-642-40381-1_16openalex-snapshot

Bipolar Possibility Theory as a Basis for a Logic of Desires and Beliefs

inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_21openalex-snapshot

Public Announcements, Private Actions and Common Knowledge in S5 Structures

inferred← citeshttps://doi.org/10.1007/978-3-642-41157-1_9openalex-snapshot

Linking Unlinkability

inferred← citeshttps://doi.org/10.1007/978-3-662-47709-0_12openalex-snapshot

An Epistemic Separation Logic

inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_5openalex-snapshot

Consolidation of Belief in Two Logics of Evidence

inferred← citeshttps://doi.org/10.1007/978-94-007-1001-6_3openalex-snapshot

A Second Generation Epistemic Logic and its General Significance

inferred← citeshttps://doi.org/10.1007/978-94-007-1001-6_6openalex-snapshot

Concurrent Dynamic Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-94-007-1344-4_2openalex-snapshot

Dynamic Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-94-007-2260-6_27openalex-snapshot

Modal Extensions of Classical Logic

inferred← citeshttps://doi.org/10.1007/978-94-007-6934-2_22openalex-snapshot

Direct and Indirect Common Belief

inferred← citeshttps://doi.org/10.1007/978-94-015-9204-8_7openalex-snapshot

An Integrated Modal Approach to Rational Agents

inferred← citeshttps://doi.org/10.1007/978-94-015-9586-5_2openalex-snapshot

Release Logics for Temporalizing Dynamic Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot

Advanced Modal Logic

inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_3openalex-snapshot

Modal Logics for Representing Incoherent Knowledge

inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_10openalex-snapshot

Formalising Abilities and Opportunities of Agents

inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_11openalex-snapshot

Seeing is Believing and So are Hearing and Jumping

inferred← citeshttps://doi.org/10.1007/978-94-017-1741-0_13openalex-snapshot

Modelling Social Agents: Towards Deliberate Communication

inferred← citeshttps://doi.org/10.1007/978-94-017-4524-6_1openalex-snapshot

Modal Epistemic and Doxastic Logic

inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8_11openalex-snapshot

On Incorporating Reasoning Time into Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-981-95-2481-5_8openalex-snapshot

Evidence Diffusion in Social Networks: a Topological Perspective

inferred← citeshttps://doi.org/10.1007/978-981-95-7072-0_20openalex-snapshot

Weighted Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-981-96-0116-5_9openalex-snapshot

Characterization of Similarity Metrics in Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-981-96-8566-0_3openalex-snapshot

Ignorance and the Possibility of Error in Relevant Epistemic Logic

inferred← citeshttps://doi.org/10.1007/978-981-99-4626-6_1openalex-snapshot

Philosophical Review of Artificial Intelligence for Society 5.0

inferred← citeshttps://doi.org/10.1007/bf02127972openalex-snapshot

A modal contrastive logic: The logic of ‘but’

inferred← citeshttps://doi.org/10.1007/bfb0013587openalex-snapshot

Modelling social agents: Communication as action

inferred← citeshttps://doi.org/10.1007/bfb0035977openalex-snapshot

Many-valued epistemic states. An application to a reflective architecture: Milord-II

inferred← citeshttps://doi.org/10.1007/bfb0055019openalex-snapshot

On the relation between interpreted systems and Kripke models

inferred← citeshttps://doi.org/10.1007/bfb0055994openalex-snapshot

Different ways to have something in common

inferred← citeshttps://doi.org/10.1007/s001650070021openalex-snapshot

Demonstrating the Cognitive Plausibility of Interactive System Specifications

inferred← citeshttps://doi.org/10.1007/s00199-012-0707-1openalex-snapshot

Semantics for intuitionistic epistemic logics of shallow depths for game theory

inferred← citeshttps://doi.org/10.1007/s00199-012-0737-8openalex-snapshot

Symposium: logic and economics—interactions between subjective thinking and objective worlds

inferred← citeshttps://doi.org/10.1007/s001990100201openalex-snapshot

Common knowledge and quantification

inferred← citeshttps://doi.org/10.1007/s001990100202openalex-snapshot

Epistemic logics and their game theoretic applications: Introduction

inferred← citeshttps://doi.org/10.1007/s00224-013-9492-xopenalex-snapshot

Distributed Knowledge Justification Logics

inferred← citeshttps://doi.org/10.1007/s00477-007-0135-0openalex-snapshot

Interactive spatiotemporal modelling of health systems: the SEKS–GUI framework

inferred← citeshttps://doi.org/10.1007/s00477-007-0172-8openalex-snapshot

Interactive spatiotemporal modelling of health systems: the SEKS–GUI framework

inferred← citeshttps://doi.org/10.1007/s10458-008-9063-8openalex-snapshot

On BAN logic and hash functions or: how an unjustified inference rule causes problems

inferred← citeshttps://doi.org/10.1007/s10458-008-9065-6openalex-snapshot

Toward a programming theory for rational agents

inferred← citeshttps://doi.org/10.1007/s10458-008-9067-4openalex-snapshot

Goals in conflict: semantic foundations of goals in agent programming

inferred← citeshttps://doi.org/10.1007/s10458-014-9267-zopenalex-snapshot

Logics of knowledge and action: critical analysis and challenges

inferred← citeshttps://doi.org/10.1007/s10458-024-09646-9openalex-snapshot

Logic-based cognitive planning for conversational agents

inferred← citeshttps://doi.org/10.1007/s10462-021-10064-6openalex-snapshot

Modal context restriction for multiagent BDI logics

inferred← citeshttps://doi.org/10.1007/s10462-021-10131-yopenalex-snapshot

Solutions to the routing problem: towards trustworthy autonomous vehicles

inferred← citeshttps://doi.org/10.1007/s10472-007-9046-5openalex-snapshot

Multi-modal nonmonotonic logics of minimal knowledge

inferred← citeshttps://doi.org/10.1007/s10489-016-0790-2openalex-snapshot

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications

inferred← citeshttps://doi.org/10.1007/s10506-007-9054-0openalex-snapshot

Organizational structure and responsibility

inferred← citeshttps://doi.org/10.1007/s10516-014-9255-6openalex-snapshot

Reasoning Processes as Epistemic Dynamics

inferred← citeshttps://doi.org/10.1007/s10670-007-9043-4openalex-snapshot

On Bradley’s preservation condition for conditionals

inferred← citeshttps://doi.org/10.1007/s10670-017-9875-5openalex-snapshot

Impossible Worlds and the Logic of Imagination

inferred← citeshttps://doi.org/10.1007/s10670-021-00399-5openalex-snapshot

Logic of Justified Beliefs Based on Argumentation

inferred← citeshttps://doi.org/10.1007/s10796-024-10483-0openalex-snapshot

Addressing Knowledge Gaps in ITSM Practice with “Learning Digital Commons”: A Case Study

inferred← citeshttps://doi.org/10.1007/s10817-011-9232-3openalex-snapshot

PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$

inferred← citeshttps://doi.org/10.1007/s10817-018-9473-5openalex-snapshot

A PSpace Algorithm for Acyclic Epistemic DL $$\mathcal {ALCS}5_m$$ ALCS 5 m

showing the first 200 of 551

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.