Buchumschlag

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ghari, Meghdad
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science 03B45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Algebraic Semantics for the Logic of Proofs
von: Parsa, Amir Farahmand, et al.
Veröffentlicht: (2021)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Justification Logics in a Fuzzy Setting
von: Ghari, Meghdad
Veröffentlicht: (2014)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
von: Coniglio, Marcelo E.
Veröffentlicht: (2023)

A meta-modal logic for bisimulations
von: Burrieza, Alfredo, et al.
Veröffentlicht: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Canonicity in power and modal logics of finite achronal width
von: Goldblatt, Robert, et al.
Veröffentlicht: (2022)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

Logics of False Belief and Radical Ignorance
von: Fan, Jie
Veröffentlicht: (2024)

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

Classification and deontic explosion for contrary-to-duty obligations
von: Kjos-Hanssen, Bjørn
Veröffentlicht: (2026)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

FMP for QD logics. A wrong proof
von: Gasquet, Olivier
Veröffentlicht: (2025)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

Monotonicity versus positivity in modal logics
von: Dvorkin, Lev
Veröffentlicht: (2026)

A Basic Łukasiewicz m-valued conditional logic
von: Huo, Shuquan
Veröffentlicht: (2024)

Possibility Frames and Forcing for Modal Logic
von: Holliday, Wesley H.
Veröffentlicht: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

Complexity of some modal logics of density (extended version)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Modal weak Kleene logics: axiomatizations and relational semantics
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Lewis and Brouwer meet Strong Löb
von: Visser, Albert, et al.
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Cut-free sequent calculi for the provability logic D
von: Kashima, Ryo, et al.
Veröffentlicht: (2023)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

The Size of Interpolants in Modal Logics
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
von: Sliusarev, Vladislav
Veröffentlicht: (2024)

Models for the common knowledge logic
von: Tanaka, Yoshihito
Veröffentlicht: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
von: Gallardo, Andrés, et al.
Veröffentlicht: (2024)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

State-based Modal Logics for Free Choice
von: Aloni, Maria, et al.
Veröffentlicht: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
von: Olkhovikov, Grigory
Veröffentlicht: (2024)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

Interpolation above S4
von: Santschi, Simon, et al.
Veröffentlicht: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)