Event-based time-stamped claim logic
From MaRDI portal
Publication:2043818
DOI10.1016/j.jlamp.2021.100684OpenAlexW3157618623MaRDI QIDQ2043818
Luca Viganò, Jaime Ramos, Cristina Sernadas, João Rasga
Publication date: 3 August 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100684
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Dynamic epistemic logic
- The decision problem for linear temporal logic
- Propositional dynamic logic of regular programs
- Adding a temporal dimension to a logic system
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
- An epistemic approach to paraconsistency: a logic of evidence and truth
- A logical account of formal argumentation
- On probability and logic
- Preservation of Craig interpolation by the product of matrix logics
- A quantified logic of evidence
- Explicit Provability and Constructive Semantics
- Justifications for common knowledge
- Logical Dynamics of Evidence
- THE LOGIC OF JUSTIFICATION
- Labelled Tableaux for Distributed Temporal Logic
- The Unrestricted Combination of Temporal Logic Systems
- Probabilistic Justification Logic
- The completeness of the first-order functional calculus
This page was built for publication: Event-based time-stamped claim logic