Justification announcements in discrete time. Part II: Frame definability results

Logic Journal of the IGPL 27 (5):671-692 (2019)
  Copy   BIBTEX

Abstract

In Part I of this paper we presented a Hilbert-style system $\Sigma _D$ axiomatizing stit logic of justification announcements interpreted over models with discrete time structure. In this part, we prove three frame definability results for $\Sigma _D$ using three different definitions of a frame plus another version of completeness result.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy074

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Justification announcements in discrete time. Part I: Completeness results.Grigory K. Olkhovikov - 2018 - Logic Journal of the IGPL 26 (3):259-289.
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.
Inference as doxastic agency. Part II: Ramifications and refinements.Heinrich Wansing & Grigory K. Olkhovikov - 2017 - Australasian Journal of Logic 14 (4):408-438.
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Moving frame transport and gauge transformations.R. G. Beil - 1995 - Foundations of Physics 25 (5):717-742.
A logic lu for understanding.Xiaowu Li & Xiangyang Guo - 2010 - Frontiers of Philosophy in China 5 (1):142-153.
On Σ‐definability without equality over the real numbers.Andrei S. Morozov & Margarita V. Korovina - 2008 - Mathematical Logic Quarterly 54 (5):535-544.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.
Prices in Financial Markets.Michael U. Dothan - 1990 - Oxford University Press USA.
A space-time theory with a privileged frame.T. Chang - 1983 - Foundations of Physics 13 (10):1013-1022.
He Even Knew A-Epistemic Logic EK1-3.Xiao-wu Li - 2006 - Modern Philosophy 1:122-132.
Calling time on digital clocks.David Sloan - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part A):62-68.
Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity.Jie Fan - 2019 - Notre Dame Journal of Formal Logic 60 (3):407-435.
Is space-time discrete or continuous? — An empirical question.Peter Forrest - 1995 - Synthese 103 (3):327--354.

Analytics

Added to PP
2019-10-02

Downloads
3 (#1,644,941)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.

View all 6 references / Add more references