×

Prior, Arthur Norman

Author ID: prior.arthur-n Recent zbMATH articles by "Prior, Arthur Norman"
Published as: Prior, A. N.; Prior, Arthur N.; Prior, Arthur; Prior, A.
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 33 Publications since 1948, including 5 Books
1 Further Contribution
Biographic References: 9 Publications
Co-Authors: 1 Co-Author with 6 Joint Publications

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 601 times in 476 Documents Cited by Year
Past, present and future. Zbl 0169.29802
Prior, A.
237
1967
Time and modality. Zbl 0079.00606
Prior, A. N.
144
1957
Formal logic. 2nd ed. Zbl 0124.00205
Prior, A. N.
49
1962
Formal logic. Zbl 0067.24903
Prior, A. N.
33
1955
Modality and quantification in S 5. Zbl 0071.01002
Prior, A. N.
28
1956
Notes on the axiomatics of the propositional calculus. Zbl 0146.00801
Meredith, C. A.; Prior, A. N.
24
1963
On a family of paradoxes. Zbl 0112.00408
Prior, A. N.
20
1961
Worlds, times and selves. Zbl 0198.01404
Prior, A. N.
16
1969
Modal logic with functorial variables and a contingent constant. Zbl 0146.00901
Meredith, C. A.; Prior, A. N.
8
1965
Epimenides the Cretan. Zbl 0171.25101
Prior, A. N.
7
1959
Equational logic. Zbl 0175.25905
Meredith, C. A.; Prior, A. N.
6
1968
Investigations into implicational S 5. Zbl 0146.00803
Meredith, C. A.; Prior, A. N.
6
1964
Interpretations of different modal logics in the ‘property calculus’. Zbl 0916.03005
Meredith, Carew; Prior, Arthur
5
1996
Two additions to positive implication. Zbl 0147.24905
Prior, A. N.
5
1964
Peirce’s axioms for propositional calculus. Zbl 0084.00602
Prior, A. N.
3
1959
Philosophical logic. Zbl 0199.29504
3
1969
Stratified metric tense logic. Zbl 0203.00703
Prior, A. N.
2
1967
Axiomatisations of the modal calculus Q. Zbl 0166.25103
Prior, A. N.
2
1964
Corrigendum to C.A. Meredith’s and my paper: ’Equational logic.’. Zbl 0188.01001
Prior, A. N.
1
1969
On the calculus MCC. Zbl 0188.31703
Prior, A. N.
1
1969
Some axiom-pairs for material and strict implication. Zbl 0116.00405
Prior, A. N.
1
1961
On propositions neither necessary nor impossible. Zbl 0050.00502
Prior, A. N.
1
1953
Existence in Lesniewski and in Russell. Zbl 0135.00507
Prior, A. N.
1
1965
The logic of obligation and the obligations of the logician. Zbl 1279.03042
Prior, A. N.
1
2012
The logic of obligation and the obligations of the logician. Zbl 1279.03042
Prior, A. N.
1
2012
Interpretations of different modal logics in the ‘property calculus’. Zbl 0916.03005
Meredith, Carew; Prior, Arthur
5
1996
Worlds, times and selves. Zbl 0198.01404
Prior, A. N.
16
1969
Philosophical logic. Zbl 0199.29504
3
1969
Corrigendum to C.A. Meredith’s and my paper: ’Equational logic.’. Zbl 0188.01001
Prior, A. N.
1
1969
On the calculus MCC. Zbl 0188.31703
Prior, A. N.
1
1969
Equational logic. Zbl 0175.25905
Meredith, C. A.; Prior, A. N.
6
1968
Past, present and future. Zbl 0169.29802
Prior, A.
237
1967
Stratified metric tense logic. Zbl 0203.00703
Prior, A. N.
2
1967
Modal logic with functorial variables and a contingent constant. Zbl 0146.00901
Meredith, C. A.; Prior, A. N.
8
1965
Existence in Lesniewski and in Russell. Zbl 0135.00507
Prior, A. N.
1
1965
Investigations into implicational S 5. Zbl 0146.00803
Meredith, C. A.; Prior, A. N.
6
1964
Two additions to positive implication. Zbl 0147.24905
Prior, A. N.
5
1964
Axiomatisations of the modal calculus Q. Zbl 0166.25103
Prior, A. N.
2
1964
Notes on the axiomatics of the propositional calculus. Zbl 0146.00801
Meredith, C. A.; Prior, A. N.
24
1963
Formal logic. 2nd ed. Zbl 0124.00205
Prior, A. N.
49
1962
On a family of paradoxes. Zbl 0112.00408
Prior, A. N.
20
1961
Some axiom-pairs for material and strict implication. Zbl 0116.00405
Prior, A. N.
1
1961
Epimenides the Cretan. Zbl 0171.25101
Prior, A. N.
7
1959
Peirce’s axioms for propositional calculus. Zbl 0084.00602
Prior, A. N.
3
1959
Time and modality. Zbl 0079.00606
Prior, A. N.
144
1957
Modality and quantification in S 5. Zbl 0071.01002
Prior, A. N.
28
1956
Formal logic. Zbl 0067.24903
Prior, A. N.
33
1955
On propositions neither necessary nor impossible. Zbl 0050.00502
Prior, A. N.
1
1953
all top 5

Cited by 490 Authors

10 Blackburn, Patrick
9 Iseki, Kiyoshi
8 Belnap, Nuel D. jun.
8 Humberstone, Lloyd
8 Tanaka, Shotaro
8 Zanardo, Alberto
7 Müller, Thomas
6 Horty, John F.
6 Placek, Tomasz
5 Bonzio, Stefano
5 Cresswell, Maxwell John
5 Fritz, Peter
5 Øhrstrøm, Peter
5 Pietarinen, Ahti-Veikko
4 Areces, Carlos
4 Bacon, Andrew
4 Doder, Dragan
4 Fernando, Tim
4 Kamide, Norihiro
4 Ma, Minghui
4 Pnueli, Amir
4 Reynolds, Mark Alexander
4 Xu, Ming
3 Åqvist, Lennart
3 Braüner, Torben
3 Bunder, Martin W.
3 Burgess, John P.
3 Copeland, B. Jack
3 Gaĭnă, Daniel
3 Goldblatt, Robert Ian
3 Goranko, Valentin F.
3 Grant, John R.
3 Jun, Young Bae
3 Lorini, Emiliano
3 Lück, Martin
3 Marx, Maarten
3 Meier, Arne
3 Nishimura, Hirokazu
3 Ognjanović, Zoran
3 Pacuit, Eric
3 Perović, Aleksandar
3 Read, Stephen
3 Rönnedal, Daniel
3 Rumberg, Antje
3 Tucker, Dustin
3 Uckelman, Sara Liana
3 Uzquiano, Gabriel
3 Vardi, Moshe Ya’akov
3 Wawer, Jacek
3 Wolter, Frank
3 Wos, Larry
2 Akama, Seiki
2 Arai, Yoshinari
2 Avron, Arnon
2 Bellucci, Francesco
2 Bezhanishvili, Guram
2 Bibel, Wolfgang
2 Broersen, Jan M.
2 Centrone, Stefania
2 Cintula, Petr
2 Ciuni, Roberto
2 Correia, Fabrice
2 Demri, Stéphane P.
2 Deters, Morgan
2 Diaconescu, Răzvan
2 Došen, Kosta
2 Emerson, Ernest Allen
2 Fernández Duque, David
2 Fervari, Raul
2 Fiadeiro, José Luiz
2 Gabbay, Dov M.
2 Garson, James W.
2 Guzmán, Michell
2 Halaš, Radomír
2 Iacona, Andrea
2 Imai, Yasuyuki
2 Jakobsen, David
2 Jarmużek, Tomasz
2 Jørgensen, Klaus Frovin
2 Kennedy, Neil
2 Kremer, Philip
2 Lakemeyer, Gerhard
2 Łukowski, Piotr
2 Makinson, David Clement
2 Malpass, Alex
2 McIlraith, Sheila A.
2 Meyer, Robert Kenneth
2 Meyer, Ulrich
2 Moszkowski, Ben C.
2 Mundhenk, Martin
2 Norman, Timothy J.
2 Paoli, Francesco
2 Perchy, Salim
2 Peruzzi, Luisa
2 Pleitz, Martin
2 Prior, Arthur Norman
2 Proietti, Carlo
2 Reed, Chris
2 Rueda, Camilo
2 Schneider, Thomas
...and 390 more Authors
all top 5

Cited in 71 Serials

62 Synthese
58 Journal of Philosophical Logic
35 Studia Logica
23 The Journal of Symbolic Logic
19 Proceedings of the Japan Academy
14 The Review of Symbolic Logic
13 History and Philosophy of Logic
12 Notre Dame Journal of Formal Logic
11 Logica Universalis
10 Artificial Intelligence
10 Theoretical Computer Science
10 Journal of Applied Non-Classical Logics
9 Annals of Pure and Applied Logic
9 Journal of Logic, Language and Information
9 Journal of Applied Logic
8 Logic and Logical Philosophy
7 Annals of Mathematics and Artificial Intelligence
7 Erkenntnis
6 Nôus
4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
4 Journal of Logical and Algebraic Methods in Programming
3 Acta Informatica
3 Journal of Computer and System Sciences
3 Publications of the Research Institute for Mathematical Sciences, Kyoto University
3 Information and Computation
3 Archive for Mathematical Logic
3 Mathematical Logic Quarterly (MLQ)
3 Soft Computing
3 ACM Transactions on Computational Logic
3 Foundations of Physics
2 International Journal of General Systems
2 Algebra Universalis
2 Information Sciences
2 Linguistics and Philosophy
2 Journal of Automated Reasoning
2 International Journal of Approximate Reasoning
2 Formal Aspects of Computing
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Mathematical Structures in Computer Science
2 Topoi
2 International Studies in the Philosophy of Science
2 Logicheskie Issledovaniya
1 Computers & Mathematics with Applications
1 International Journal of Mathematical Education in Science and Technology
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Mathematical Notes
1 Periodica Mathematica Hungarica
1 Czechoslovak Mathematical Journal
1 Fuzzy Sets and Systems
1 International Journal of Computer & Information Sciences
1 Kybernetika
1 Manuscripta Mathematica
1 Bulletin of the Section of Logic
1 New Generation Computing
1 Mathematical and Computer Modelling
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 Games and Economic Behavior
1 Annals of Physics
1 Historia Mathematica
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 Journal of Functional Programming
1 Science in China. Series E
1 Foundations of Science
1 Missouri Journal of Mathematical Sciences
1 Logical Methods in Computer Science
1 Asian-European Journal of Mathematics
1 Frontiers of Computer Science
1 Journal of Siberian Federal University. Mathematics & Physics

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.