Quantifier-free epistemic term-modal logic with assignment operator

, &
Annals of Pure and Applied Logic 173 (3):103071 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103071

Links

PhilArchive



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

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

A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
One Connection between Standard Invariance Conditions on Modal Formulas and Generalized Quantifiers.Dorit Ben Shalom - 2003 - Journal of Logic, Language and Information 12 (1):47-52.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Binding bound variables in epistemic contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.
Logics for propositional contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2021 - Studia Logica 110 (1):219-239.
A topological logic of action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Beyond Knowing That: A New Generation of Epistemic Logics.Yanjing Wang - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 499-533.
The semantics of scandinavian free choice items.Kjell Johan Saeboe - 2001 - Linguistics and Philosophy 24 (6):737-788.
A Non-Standard Kripke Semantics for the Minimal Deontic Logic.Edson Bezerra & Giorgio Venturi - forthcoming - Logic and Logical Philosophy:1.

Analytics

Added to PP
2021-12-03

Downloads
33 (#473,861)

6 months
17 (#142,329)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yanjing Wang
Peking University
Jeremy Seligman
University of Auckland

Citations of this work

Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
A New Introduction to Modal Logic.G. E. Hughes - 1996 - New York: Psychology Press. Edited by M. J. Cresswell.
Beyond Knowing That: A New Generation of Epistemic Logics.Yanjing Wang - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 499-533.

View all 20 references / Add more references