Characterising modal definability of team-based logics via the universal modality

&
Annals of Pure and Applied Logic 170 (9):1100-1127 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.04.009

Links

PhilArchive



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

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

Logics with the universal modality and admissible consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
Definability in the class of all -frames – computability and complexity.D. T. Georgiev - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):1-26.
Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Modal Definability Based on Łukasiewicz Validity Relations.Bruno Teheux - 2016 - Studia Logica 104 (2):343-363.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
The Finite Model Property for Logics with the Tangle Modality.Robert Goldblatt & Ian Hodkinson - 2018 - Studia Logica 106 (1):131-166.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - 2020 - Studia Logica 108 (2):221-237.

Analytics

Added to PP
2019-04-13

Downloads
25 (#618,847)

6 months
10 (#255,509)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Katsuhiko Sano
Hokkaido University

Citations of this work

No citations found.

Add more citations

References found in this work

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Notes on modal definability.Johan van Benthem - 1988 - Notre Dame Journal of Formal Logic 30 (1):20-35.
Some characterization and preservation theorems in modal logic.Tin Perkov - 2012 - Annals of Pure and Applied Logic 163 (12):1928-1939.

Add more references