ℹ️
🇬🇧
Search
Search for people relevant for "first order logic"
first order logic
Person
Class
Person
Publication
Programmes
Mgr. Vít Punčochář Ph.D.
External academic staff at Faculty of Arts
5 classes
10 publications
Classes
class
Logic - Advanced Seminar - winter term
AFS100219 |
Faculty of Arts
class
Logic - Advanced Seminar - summer term
AFS100220 |
Faculty of Arts
class
Frege from A to Z II
AFS100705 |
Faculty of Arts
class
Philosophy of mathematics
ALGV19004 |
Faculty of Arts
class
Introduction to theoretical semantics
ALINV656M |
Faculty of Arts
Publications
publication
A nonstandard semantic framework for intuitionistic logic
2016 |
Faculty of Arts
publication
The Problem of Free-Will and the Problem of Counterfactual Propositions
2017 |
Faculty of Arts
publication
Semantics of Assertibility and Deniability
2016 |
Faculty of Arts
publication
Forms of Language : An Introduction to Logic and Its Philosophy
2015 |
Faculty of Arts
publication
A new semantic framework for modal logic
2014 |
Faculty of Arts
publication
The Logica Yearbook 2011
2012 |
Faculty of Arts, Faculty of Physical Education and Sport
publication
Some Modifications of Carnap's Modal Logic
2012 |
Faculty of Arts
publication
Mathematical Realism and Penelope Maddy's Naturalism
2012 |
Faculty of Arts
publication
The Logica Yearbook 2010
2011 |
Faculty of Arts, Faculty of Physical Education and Sport
publication
Carnap's modal logic C
2010 |
Faculty of Arts
Loading network view...