Fibring Epistemic and Temporal Logics

Logic and Logical Philosophy 29 (1):195 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.12775/llp.2019.008

Links

PhilArchive



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

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

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.Luis Cruz-Filipe, Amílcar Sernadas & Cristina Sernadas - 2008 - Logic Journal of the IGPL 16 (2):121-153.
Fibring: completeness preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Fibring Modal First-Order Logics: Completeness Preservation.Amilcar Sernadas, Cristina Sernadas & Alberto Zanardo - 2002 - Logic Journal of the IGPL 10 (4):413-451.
On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
On Fibring Semantics for BDI Logics.G. Governatori, V. C. P. Nair & A. Sattar - unknown
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Recovering a logic from its fragments by meta-fibring.Marcelo Esteban Coniglio - 2007 - Logica Universalis 1 (2):377-416.
Fibring in the Leibniz Hierarchy.Victor Fernández & Marcelo Coniglio - 2007 - Logic Journal of the IGPL 15 (5-6):475-501.
From fibring to cryptofibring. A solution to the collapsing problem.Carlos Caleiro & Jaime Ramos - 2007 - Logica Universalis 1 (1):71-92.
Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.
A Formal Framework for Hypersequent Calculi and Their Fibring.Marcelo E. Coniglio & Martín Figallo - 2014 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I. New York: Springer. pp. 73-93.
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.

Analytics

Added to PP
2019-03-08

Downloads
16 (#907,547)

6 months
4 (#792,011)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krzysztof Krawczyk
Jagiellonian University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references