Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the...

29
Carnegie Mellon University Research Showcase Department of Philosophy College of Humanities and Social Sciences 1-19-2002 Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem Steve Awodey Carnegie Mellon University Jess Hughes University Nijmegen This Technical Report is brought to you for free and open access by the College of Humanities and Social Sciences at Research Showcase. It has been accepted for inclusion in Department of Philosophy by an authorized administrator of Research Showcase. For more information, please contact [email protected]. Recommended Citation Awodey, Steve and Hughes, Jess, "Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem" (2002). Department of Philosophy. Paper 145. http://repository.cmu.edu/philosophy/145

Transcript of Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the...

Page 1: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction

Carnegie Mellon UniversityResearch Showcase

Department of Philosophy College of Humanities and Social Sciences

1-19-2002

Modal Operators and the Formal Dual of Birkhoff'sCompleteness TheoremSteve AwodeyCarnegie Mellon University

Jess HughesUniversity Nijmegen

This Technical Report is brought to you for free and open access by the College of Humanities and Social Sciences at Research Showcase. It has beenaccepted for inclusion in Department of Philosophy by an authorized administrator of Research Showcase. For more information, please [email protected].

Recommended CitationAwodey, Steve and Hughes, Jess, "Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem" (2002). Departmentof Philosophy. Paper 145.http://repository.cmu.edu/philosophy/145

http://repository.cmu.edu
http://repository.cmu.edu/philosophy
http://repository.cmu.edu/hss
mailto:[email protected]
Page 2: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 3: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 4: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 5: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 6: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 7: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 8: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 9: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 10: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 11: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 12: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 13: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 14: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 15: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 16: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 17: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 18: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 19: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 20: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 21: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 22: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 23: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 24: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 25: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 26: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 27: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 28: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction
Page 29: Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction

On completeness of certain families of semi-Riemannian manifolds

On completeness of certain families of semi-Riemannian manifolds

Understanding PPA-Completeness - DROPS

Understanding PPA-Completeness - DROPS

VOICE DEPARTMENT HANDBOOK Carnegie Mellon ...

VOICE DEPARTMENT HANDBOOK Carnegie Mellon ...

Simplicity, Completeness, and Carefu

Simplicity, Completeness, and Carefu

SI 335, Unit 6: Completeness and Complexity - USNA

SI 335, Unit 6: Completeness and Complexity - USNA

Fall/Winter 2019 - Carnegie Mellon University

Fall/Winter 2019 - Carnegie Mellon University

COVID-19 - CMU School of Computer Science - Carnegie ...

COVID-19 - CMU School of Computer Science - Carnegie ...

13-DNS.pdf - Carnegie Mellon University

13-DNS.pdf - Carnegie Mellon University

Strong completeness and limited canonicity for PDL and similar modal logics

Strong completeness and limited canonicity for PDL and similar modal logics

Graph-theoretic fibring of logics Part II-Completeness preservation

Graph-theoretic fibring of logics Part II-Completeness preservation

Dale Carnegie, The Carpenters and Cambodia

Dale Carnegie, The Carpenters and Cambodia

ЧЕСКАЯ - Carnegie Endowment for International Peace

ЧЕСКАЯ - Carnegie Endowment for International Peace

Carnegie, Dale - Cómo Ganar Amigos e Influir sobre las Personas

Carnegie, Dale - Cómo Ganar Amigos e Influir sobre las Personas

Carnegie Dale-Cmo Ganar Amigose Influirsobrelas Personas

Carnegie Dale-Cmo Ganar Amigose Influirsobrelas Personas

Probability (graduate class) Lecture Notes - Carnegie Mellon ...

Probability (graduate class) Lecture Notes - Carnegie Mellon ...

BNY MELLON FUNDS TRUST Form N-CSRS Filed 2022-04-25

BNY MELLON FUNDS TRUST Form N-CSRS Filed 2022-04-25

presents - Carnegie Hall

presents - Carnegie Hall

The Carnegie Unit: A Century-Old Standard in a Changing ...

The Carnegie Unit: A Century-Old Standard in a Changing ...

How First-Time Acquirers Can Gain an Edge - BNY Mellon ...

How First-Time Acquirers Can Gain an Edge - BNY Mellon ...

On the (in)completeness of Schoenberg's oratorio die Jakobsleiter

On the (in)completeness of Schoenberg's oratorio die Jakobsleiter