×

zbMATH — the first resource for mathematics

Found 362 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Lee, Kok Yong
Motivating the causal modeling semantics of counterfactuals, or, why we should favor the causal modeling semantics over the possible-worlds semantics. (English) Zbl 1429.03032
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 83-110 (2016).
MSC:  03A05 03B42
PDF BibTeX XML Cite
\textit{K. Y. Lee}, in: Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24--25, 2014. Berlin: Springer. 83--110 (2016; Zbl 1429.03032)
Full Text: DOI
Bana, Gergei; Okada, Mitsuhiro
Semantics for “enough-certainty” and Fitting’s embedding of classical logic in S4. (English) Zbl 1370.68196
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 34, 18 p. (2016).
MSC:  68Q60 03B45 03B70 68M12
PDF BibTeX XML Cite
\textit{G. Bana} and \textit{M. Okada}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 34, 18~p. (2016; Zbl 1370.68196)
Full Text: DOI
Kennedy, Neil
On the essential flatness of possible worlds. (English) Zbl 1330.03019
Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 127-137 (2014).
MSC:  03A05 03B42
PDF BibTeX XML Cite
\textit{N. Kennedy}, Trends Log. Stud. Log. Libr. 41, 127--137 (2014; Zbl 1330.03019)
Full Text: DOI
Jarmużek, Tomasz
Tableau metatheorem for modal logics. (English) Zbl 1347.03043
Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 103-126 (2014).
MSC:  03B45
PDF BibTeX XML Cite
\textit{T. Jarmużek}, Trends Log. Stud. Log. Libr. 41, 103--126 (2014; Zbl 1347.03043)
Full Text: DOI
Kennedy, Neil
On modal facts in possible worlds. (English) Zbl 1273.03024
Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 65-77 (2013).
MSC:  03A05 03B45
PDF BibTeX XML Cite
\textit{N. Kennedy}, in: The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18--22, 2012. London: College Publications. 65--77 (2013; Zbl 1273.03024)
Plummer, Andrew; Pollard, Carl
Agnostic possible worlds semantics. (English) Zbl 1291.03063
Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 201-212 (2012).
MSC:  03B65 03B15
PDF BibTeX XML Cite
\textit{A. Plummer} and \textit{C. Pollard}, Lect. Notes Comput. Sci. 7351, 201--212 (2012; Zbl 1291.03063)
Full Text: DOI
Carrara, Massimiliano; Martino, Enrico; Morato, Vittorio
On dialetheic entailment. (English) Zbl 1262.03006
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 37-48 (2012).
MSC:  03A05
PDF BibTeX XML Cite
\textit{M. Carrara} et al., in: The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2011. London: College Publications. 37--48 (2012; Zbl 1262.03006)
Bjørdal, Frode
The evaluation semantics – a short introduction. (English) Zbl 1262.03035
Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 31-36 (2012).
MSC:  03B45 03A05
PDF BibTeX XML Cite
\textit{F. Bjørdal}, in: The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2011. London: College Publications. 31--36 (2012; Zbl 1262.03035)
Alcantara, Jean-Pascal
Leibniz, modal logic and possible world semantics: the Apulean square as a Procrustean bed for his modal metaphysics. (English) Zbl 1270.03006
Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 53-71 (2012).
MSC:  03-03 01A45 03A05 03B45
PDF BibTeX XML Cite
\textit{J.-P. Alcantara}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 53--71 (2012; Zbl 1270.03006)
Full Text: DOI
Everett, Hugh III
The Everett interpretation of quantum mechanics. Collected works 1955–1980 with commentary. Edited by Jeffrey A. Barrett and Peter Byrne. (English) Zbl 1270.81003
Princeton, NJ: Princeton University Press (ISBN 978-0-691-14507-5/hbk; 978-1-400-84274-2/ebook). xii, 389 p. (2012).
Reviewer: K.-E. Hellwig (Berlin)
MSC:  81-03 81P05 81P15 01A60 01A70 01A75 00A79
PDF BibTeX XML Cite
\textit{H. Everett III}, The Everett interpretation of quantum mechanics. Collected works 1955--1980 with commentary. Edited by Jeffrey A. Barrett and Peter Byrne. Princeton, NJ: Princeton University Press (2012; Zbl 1270.81003)
Pottier, François
A typed store-passing translation for general references. (English) Zbl 1284.68194
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 147-158 (2011).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
\textit{F. Pottier}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 147--158 (2011; Zbl 1284.68194)
Full Text: DOI
McCusker, Guy; Power, John
Modelling local variables: possible worlds and object spaces. (English) Zbl 1342.68092
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 389-402 (2010).
MSC:  68N30 18A25 18D15 68N15 68Q55
PDF BibTeX XML Cite
\textit{G. McCusker} and \textit{J. Power}, Electron. Notes Theor. Comput. Sci. 265, 389--402 (2010; Zbl 1342.68092)
Full Text: DOI
Restall, Greg
Always more. (English) Zbl 1253.03018
Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 223-229 (2010).
MSC:  03A05
PDF BibTeX XML Cite
\textit{G. Restall}, in: The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22--26, 2009. London: College Publications. 223--229 (2010; Zbl 1253.03018)
Mensky, Michael B.
Consciousness and quantum mechanics. Life in parallel worlds. Miracles of consciousness from quantum reality. (English) Zbl 1228.81039
Hackensack, NJ: World Scientific (ISBN 978-981-4291-42-2/hbk; 978-981-4291-43-9/ebook). xxv, 246 p. (2010).
Reviewer: Bassano Vacchini (Milano)
MSC:  81P05 00A79
PDF BibTeX XML Cite
\textit{M. B. Mensky}, Consciousness and quantum mechanics. Life in parallel worlds. Miracles of consciousness from quantum reality. Hackensack, NJ: World Scientific (2010; Zbl 1228.81039)
Full Text: Link
Menchaca García, Felipe Rolando; Contreras Hernández, Salvador
Knowledge system for application of computer security rules. (English) Zbl 1191.68131
Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. CISIS’09, 2nd international workshop, Burgos, Spain, September 23–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). Advances in Intelligent and Soft Computing 63, 9-17 (2009).
MSC:  68M99
PDF BibTeX XML Cite
\textit{F. R. Menchaca García} and \textit{S. Contreras Hernández}, Adv. Intell. Soft Comput. 63, 9--17 (2009; Zbl 1191.68131)
Full Text: DOI
Fitting, Melvin
Reasoning with justifications. (English) Zbl 1166.03006
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 107-123 (2009).
Reviewer: Max A. Freund (San José)
MSC:  03B42 00A30 03A05 03B45 03F40
PDF BibTeX XML Cite
\textit{M. Fitting}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 107--123 (2009; Zbl 1166.03006)
Full Text: DOI
Goldblatt, Robert; Hodkinson, Ian
Commutativity of quantifiers in varying-domain Kripke models. (English) Zbl 1167.03016
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 9-30 (2009).
Reviewer: Max A. Freund (San José)
MSC:  03B45
PDF BibTeX XML Cite
\textit{R. Goldblatt} and \textit{I. Hodkinson}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 9--30 (2009; Zbl 1167.03016)
Full Text: DOI
Benz, Anton
Assertions in AFA set theory. (English) Zbl 1226.03038
Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 143-176 (2008).
MSC:  03B65 03B42 03E70
PDF BibTeX XML Cite
\textit{A. Benz}, in: New approaches to classes and concepts. Based on the workshop ``Alternative set theories -- Alternatives to set theory'', University of Southern Denmark, June 2, 2006. London: College Publications. 143--176 (2008; Zbl 1226.03038)
Carnielli, Walter; Pizzi, Claudio
Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. (English) Zbl 1210.03017
Logic, Epistemology, and the Unity of Science 12. Berlin: Springer (ISBN 978-1-4020-8589-5/hbk; 978-1-4020-8590-1/ebook). xiii, 303 p. (2008).
Reviewer: Max A. Freund (San José)
MSC:  03B45 03-01 03A05 03B42 03B44
PDF BibTeX XML Cite
\textit{W. Carnielli} and \textit{C. Pizzi}, Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. Berlin: Springer (2008; Zbl 1210.03017)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software